view web/src/luan/modules/web/web_run.luan @ 190:04b86428dc50

minor git-svn-id: https://luan-java.googlecode.com/svn/trunk@191 21e917c8-12df-6dd8-5cb6-c86387c605b9
author fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
date Thu, 26 Jun 2014 18:20:54 +0000
parents 2c08e7e27a70
children 5ba136769034
line wrap: on
line source

import "Io"
import "web/Http"

local function lines(s)
	local matcher = String.gmatch(s,"([^\n]*)\n|([^\n])+$")
	return function()
		local m1, m2 = matcher()
		return m1 or m2
	end
end

local function print_with_line_numbers(s)
	i = 1
	for line in lines(s) do
		print(i,line)
		i = i + 1
	end
end

function service()
	local content_type = Http.request.get_parameter("content_type")
	if content_type ~= nil then
		Http.response.set_content_type(content_type)
	end
	Io.stdout = Http.response.text_writer()
	local code = Http.request.get_parameter "code"
	local env = {
		request = Http.request;
		response = Http.response;
	}
	try
		local run = load(code,"<web_run>",env)
		run()
	catch e do
		Http.response.set_content_type "text/plain"
		print(e)
		print()
		print()
		print_with_line_numbers(code)
	end
end