Mercurial Hosting > luan

annotate src/luan/modules/http/tools/Run.luan @ 1806:3b7a8f1cc887 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update discord
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 09 May 2024 20:39:53 -0600
parents b82767112d8e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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"
1716
b82767112d8e add String.regex
Franklin Schmidt <fschmidt@gmail.com>
parents: 1692
diff changeset
7 local regex = String.regex 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
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 498
diff changeset
10
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
11 local Run = {}
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
12
1716
b82767112d8e add String.regex
Franklin Schmidt <fschmidt@gmail.com>
parents: 1692
diff changeset
13 local line_regex = regex("([^\n]*)\n|([^\n]+)$")
b82767112d8e add String.regex
Franklin Schmidt <fschmidt@gmail.com>
parents: 1692
diff changeset
14
138
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
15 local function lines(s)
1716
b82767112d8e add String.regex
Franklin Schmidt <fschmidt@gmail.com>
parents: 1692
diff changeset
16 local matcher = line_regex.gmatch(s)
138
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
17 return function()
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
18 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
19 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
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 end
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
22
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
23 local function print_with_line_numbers(s)
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 498
diff changeset
24 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
25 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
26 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
27 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
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 end
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
30
1607
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
31 local function form()
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
32 Http.response.headers["Content-Type"] = "text/html; charset=utf-8"
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
33 %>
1216
5dbb552075ff doctype
Franklin Schmidt <fschmidt@gmail.com>
parents: 1165
diff changeset
34 <!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
35 <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
36 <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
37 <title>Run Luan Code</title>
558
6e3f063b71b5 remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 505
diff changeset
38 <style>
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
39 body {
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
40 font-family: sans-serif;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
41 text-align: center;
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 textarea {
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
44 font: inherit;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
45 }
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
46 input[type="submit"] {
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
47 margin-top: .3em;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
48 color: white;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
49 background: #337ab7;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
50 border-color: #337ab7;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
51 font: inherit;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
52 padding: .5em;
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
53 border-radius: 4px;
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
54 cursor: pointer;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
55 }
558
6e3f063b71b5 remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 505
diff changeset
56 </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
57 </head>
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
58 <body>
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
59 <h2>Run Luan Code</h2>
1245
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
60 <form method="post">
558
6e3f063b71b5 remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 505
diff changeset
61 <div>
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
62 <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
63 </div>
6e3f063b71b5 remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 505
diff changeset
64 <div>
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 559
diff changeset
65 <input type="submit" value="Execute Luan Code"/>
558
6e3f063b71b5 remove SimplyHTML from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 505
diff changeset
66 </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
67 </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
68 </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
69 </html>
1607
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
70 <%
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
71 end
283
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
72
1692
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
73 function Run.print_error(e,code)
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
74 Http.response.reset()
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
75 Http.response.headers["Content-Type"] = "text/plain; charset=utf-8"
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
76 Io.stdout = Http.response.text_writer()
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
77 print(e)
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
78 print()
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
79 print()
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
80 print_with_line_numbers(code)
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
81 end
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
82
1361
9eba6bf0163b improve Run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
83 function Run.run(code,source_name)
1520
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
84 try
1607
fa066aaa068c nginx caching
Franklin Schmidt <fschmidt@gmail.com>
parents: 1520
diff changeset
85 Http.response.headers["Content-Type"] = "text/plain; charset=utf-8"
1520
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
86 local run = load(code,source_name)
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
87 run()
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
88 return true
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
89 catch e
1692
d6ec67fa4a61 tools for config files
Franklin Schmidt <fschmidt@gmail.com>
parents: 1607
diff changeset
90 Run.print_error(e,code)
1520
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
91 return false
d9a5405a3102 try statement
Franklin Schmidt <fschmidt@gmail.com>
parents: 1361
diff changeset
92 end
1361
9eba6bf0163b improve Run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
93 end
9eba6bf0163b improve Run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
94
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
95 function Run.respond()
283
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
96 Io.stdout = Http.response.text_writer()
1152
21d157b153fe change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents: 1150
diff changeset
97 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
98 if code == nil then
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
99 form()
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
100 return
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
101 end
1361
9eba6bf0163b improve Run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
102 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
103 end
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
104
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
105 return Run