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