Mercurial Hosting > luan
annotate src/luan/modules/http/tools/Run.luan @ 1361:9eba6bf0163b
improve Run.luan
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Mon, 22 Apr 2019 00:38:11 -0600 |
parents | 007ceb8dcf89 |
children | d9a5405a3102 |
rev | line source |
---|---|
693
ca169567ce07
module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
580
diff
changeset
|
1 local Luan = require "luan:Luan.luan" |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
2 local error = Luan.error |
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
3 local load = Luan.load or error() |
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
4 local try = Luan.try or error() |
693
ca169567ce07
module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
580
diff
changeset
|
5 local Io = require "luan:Io.luan" |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
6 local print = Io.print or error() |
693
ca169567ce07
module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
580
diff
changeset
|
7 local String = require "luan:String.luan" |
580 | 8 local gmatch = String.gmatch or error() |
693
ca169567ce07
module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
580
diff
changeset
|
9 local Http = require "luan:http/Http.luan" |
138
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
10 |
503 | 11 |
1246 | 12 local Run = {} |
13 | |
138
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
14 local function lines(s) |
1361 | 15 local matcher = gmatch(s,"([^\n]*)\n|([^\n]+)$") |
138
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
16 return function() |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
17 local m1, m2 = matcher() |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
18 return m1 or m2 |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
19 end |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
20 end |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
21 |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
22 local function print_with_line_numbers(s) |
503 | 23 local i = 1 |
138
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
24 for line in lines(s) do |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
25 print(i,line) |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
26 i = i + 1 |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
27 end |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
28 end |
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
29 |
391
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
30 local function form() %> |
1216 | 31 <!doctype html> |
391
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
32 <html> |
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
33 <head> |
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
34 <title>Run Luan Code</title> |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
35 <style> |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
36 body { |
1293 | 37 font-family: sans-serif; |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
38 text-align: center; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
39 } |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
40 textarea { |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
41 font: inherit; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
42 } |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
43 input[type="submit"] { |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
44 margin-top: .3em; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
45 color: white; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
46 background: #337ab7; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
47 border-color: #337ab7; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
48 font: inherit; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
49 padding: .5em; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
50 border-radius: 4px; |
1293 | 51 cursor: pointer; |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
52 } |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
53 </style> |
391
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
54 </head> |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
55 <body> |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
56 <h2>Run Luan Code</h2> |
1245 | 57 <form method="post"> |
1165
668f29bc52ea
clean up content-type
Franklin Schmidt <fschmidt@gmail.com>
parents:
1152
diff
changeset
|
58 <input type="hidden" name="content_type" value="text/plain; charset=utf-8" /> |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
59 <div> |
1293 | 60 <textarea name="code" rows="20" cols="90" autofocus></textarea> |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
61 </div> |
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
62 <div> |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
63 <input type="submit" value="Execute Luan Code"/> |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
64 </div> |
391
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
65 </form> |
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
66 </body> |
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
67 </html> |
2f5cc9c2cbf0
replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents:
347
diff
changeset
|
68 <% end |
283
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
69 |
1361 | 70 function Run.run(code,source_name) |
71 return try { | |
72 function() | |
73 local run = load(code,source_name) | |
74 run() | |
75 return true | |
76 end | |
77 catch = function(e) | |
78 Http.response.reset() | |
79 Http.response.headers["content-type"] = "text/plain; charset=utf-8" | |
80 Io.stdout = Http.response.text_writer() | |
81 print(e) | |
82 print() | |
83 print() | |
84 print_with_line_numbers(code) | |
85 return false | |
86 end | |
87 } | |
88 end | |
89 | |
1246 | 90 function Run.respond() |
1152
21d157b153fe
change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents:
1150
diff
changeset
|
91 local content_type = Http.request.parameters.content_type |
580 | 92 if content_type ~= nil then |
1150
0842b9b570f8
change http headers interface
Franklin Schmidt <fschmidt@gmail.com>
parents:
1124
diff
changeset
|
93 Http.response.headers["content-type"] = content_type |
580 | 94 end |
283
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
95 Io.stdout = Http.response.text_writer() |
1152
21d157b153fe
change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents:
1150
diff
changeset
|
96 local code = Http.request.parameters.code |
283
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
97 if code == nil then |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
98 form() |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
99 return |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
100 end |
1361 | 101 Run.run(code,"<web_run>") |
138
06159094b802
replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff
changeset
|
102 end |
1246 | 103 |
104 return Run |