Mercurial Hosting > luan

annotate src/luan/modules/http/tools/Run.luan @ 1293:007ceb8dcf89

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 06 Jan 2019 14:09:24 -0700
parents 299996e03876
children 9eba6bf0163b
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()
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
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
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
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 498
diff changeset
11
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
12 local Run = {}
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
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)
580
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
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
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 498
diff changeset
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
5dbb552075ff doctype
Franklin Schmidt <fschmidt@gmail.com>
parents: 1165
diff changeset
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
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
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
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
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
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
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
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
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
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
70 function Run.respond()
1152
21d157b153fe change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents: 1150
diff changeset
71 local content_type = Http.request.parameters.content_type
580
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
72 if content_type ~= nil then
1150
0842b9b570f8 change http headers interface
Franklin Schmidt <fschmidt@gmail.com>
parents: 1124
diff changeset
73 Http.response.headers["content-type"] = content_type
580
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
74 end
283
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
75 Io.stdout = Http.response.text_writer()
1152
21d157b153fe change http parameters interface
Franklin Schmidt <fschmidt@gmail.com>
parents: 1150
diff changeset
76 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
77 if code == nil then
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
78 form()
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
79 return
b669cdaf54b7 add URL post;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 271
diff changeset
80 end
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
81 try {
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
82 function()
1124
ea7112e9eb1d remove env from run.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 789
diff changeset
83 local run = load(code,"<web_run>")
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
84 run()
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
85 end
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
86 catch = function(e)
580
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
87 Http.response.reset()
1165
668f29bc52ea clean up content-type
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
88 Http.response.headers["content-type"] = "text/plain; charset=utf-8"
580
1e69d9c21461 add Table.clear();
Franklin Schmidt <fschmidt@gmail.com>
parents: 560
diff changeset
89 Io.stdout = Http.response.text_writer()
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
90 print(e)
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
91 print()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
92 print()
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
93 print_with_line_numbers(code)
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1246
diff changeset
94 end
326
db37d6aee4db remove try-catch statement;
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 325
diff changeset
95 }
138
06159094b802 replace WebRun.java with web_run.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
96 end
1246
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
97
299996e03876 clean up http/tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
98 return Run