Mercurial Hosting > luan
annotate src/luan/modules/http/tools/Run.luan @ 1607:fa066aaa068c
nginx caching
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Fri, 30 Apr 2021 20:23:28 -0600 |
parents | d9a5405a3102 |
children | d6ec67fa4a61 |
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 |
1607 | 29 local function form() |
30 Http.response.headers["Content-Type"] = "text/html; charset=utf-8" | |
31 %> | |
1216 | 32 <!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
|
33 <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
|
34 <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
|
35 <title>Run Luan Code</title> |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
36 <style> |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
37 body { |
1293 | 38 font-family: sans-serif; |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
39 text-align: center; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
40 } |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
41 textarea { |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
42 font: inherit; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
43 } |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
44 input[type="submit"] { |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
45 margin-top: .3em; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
46 color: white; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
47 background: #337ab7; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
48 border-color: #337ab7; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
49 font: inherit; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
50 padding: .5em; |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
51 border-radius: 4px; |
1293 | 52 cursor: pointer; |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
53 } |
558
6e3f063b71b5
remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents:
505
diff
changeset
|
54 </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
|
55 </head> |
560
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
56 <body> |
2f39468680be
remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents:
559
diff
changeset
|
57 <h2>Run Luan Code</h2> |
1245 | 58 <form method="post"> |
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> |
1607 | 68 <% |
69 end | |
283
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
70 |
1361 | 71 function Run.run(code,source_name) |
1520 | 72 try |
1607 | 73 Http.response.headers["Content-Type"] = "text/plain; charset=utf-8" |
1520 | 74 local run = load(code,source_name) |
75 run() | |
76 return true | |
77 catch e | |
78 Http.response.reset() | |
1607 | 79 Http.response.headers["Content-Type"] = "text/plain; charset=utf-8" |
1520 | 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 | |
1361 | 87 end |
88 | |
1246 | 89 function Run.respond() |
283
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
90 Io.stdout = Http.response.text_writer() |
1152
21d157b153fe
change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents:
1150
diff
changeset
|
91 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
|
92 if code == nil then |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
93 form() |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
94 return |
b669cdaf54b7
add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
271
diff
changeset
|
95 end |
1361 | 96 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
|
97 end |
1246 | 98 |
99 return Run |