Mercurial Hosting > luan

annotate src/luan/modules/http/tools/Shell.luan @ 1300:590ad449ac7f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improve web shell
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 13 Jan 2019 15:31:39 -0700
parents 9dca1e912658
children d5739c101bd6
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: 609
diff changeset
1 local Luan = require "luan:Luan.luan"
554
18504c41b0be move debug() to Io and remove Debug module;
Franklin Schmidt <fschmidt@gmail.com>
parents: 506
diff changeset
2 local error = Luan.error
18504c41b0be move debug() to Io and remove Debug module;
Franklin Schmidt <fschmidt@gmail.com>
parents: 506
diff changeset
3 local load = Luan.load or error()
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
4 local to_string = Luan.to_string or error()
554
18504c41b0be move debug() to Io and remove Debug module;
Franklin Schmidt <fschmidt@gmail.com>
parents: 506
diff changeset
5 local try = Luan.try or error()
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
6 local range = Luan.range or error()
1277
5ba660381bd5 fix Io.print()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
7 local Table = require "luan:Table.luan"
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
8 local concat = Table.concat or error()
1277
5ba660381bd5 fix Io.print()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
9 local pack = Table.pack or error()
5ba660381bd5 fix Io.print()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1245
diff changeset
10 local unpack = Table.unpack or error()
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
11 local Time = require "luan:Time.luan"
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
12 local Thread = require "luan:Thread.luan"
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
13 local Html = require "luan:Html.luan"
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
14 local html_encode = Html.encode or error()
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
15 local javascript_encode = Html.javascript_encode or error()
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 609
diff changeset
16 local Io = require "luan:Io.luan"
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 609
diff changeset
17 local Http = require "luan:http/Http.luan"
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
18 local Logging = require "luan:logging/Logging.luan"
1218
a50803fde972 http/tools cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
19 local logger = Logging.logger "Shell"
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
20
139
3b384dc5ca91 replace WebShell.java with web_shell.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
21
1218
a50803fde972 http/tools cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
22 local Shell = {}
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 497
diff changeset
23
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
24 local forever = Time.period{days=1000000}
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
25 local count = 0
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
26 local new_session = Thread.global_callable("shell.new_session",forever,{next=function()
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
27 count = count + 1
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
28 return to_string(count)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
29 end}).next
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
30
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
31 local env = {}
1218
a50803fde972 http/tools cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
32 Shell.env = env
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
33
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
34 local fns = {}
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
35
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
36 function fns.run(cmd)
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
37 return try {
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
38 function()
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
39 local line
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
40 try {
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
41 function()
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
42 line = load("return "..cmd,"<web_shell>",env)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
43 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
44 catch = function(e)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
45 line = load(cmd,"<web_shell>",env)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
46 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
47 }
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
48 return line()
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
49 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
50 catch = function(e)
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
51 -- Io.print_to(Io.stderr,e)
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
52 return to_string(e)
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
53 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
54 }
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
55 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
56
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
57 local timeout = Time.period{hours=10}
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
58
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
59 local function get_session(session_id)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
60 return Thread.global_callable("shell.session"..session_id,timeout,fns)
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
61 end
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
62
1218
a50803fde972 http/tools cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
63 function Shell.respond()
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
64 Io.stdout = Http.response.text_writer()
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
65 local cmd = Http.request.parameters.cmd
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
66 if cmd ~= nil then
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
67 Http.response.headers["content-type"] = "application/javascript"
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
68 local session_id = Http.request.parameters.session or error()
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
69 local session = get_session(session_id)
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
70 local rtn = pack( session.run(cmd) )
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
71 %>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
72 var pre = document.querySelector('pre');
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
73 pre.innerHTML += '\n&gt; <%=javascript_encode(html_encode(cmd))%>';
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
74 <%
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
75 if rtn.n > 0 then
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
76 local t = {}
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
77 for i in range(1,rtn.n) do
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
78 t[#t+1] = javascript_encode(html_encode(to_string(rtn[i])))
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
79 end
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
80 %>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
81 pre.innerHTML += '\n<%=concat(t,"\t")%>';
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
82 <%
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
83 end
1300
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
84 %>
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
85 var input = document.querySelector('input');
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
86 input.scrollIntoView();
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
87 input.blur(); input.focus(); // because Chrome is retarded
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
88 <%
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
89 return
1159
3ef883468fd0 remove Http.per_session_pages
Franklin Schmidt <fschmidt@gmail.com>
parents: 1152
diff changeset
90 end
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
91 %>
1216
5dbb552075ff doctype
Franklin Schmidt <fschmidt@gmail.com>
parents: 1177
diff changeset
92 <!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
93 <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
94 <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
95 <title>Luan Shell</title>
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
96 <script>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
97
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
98 function ajax(url) {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
99 var request = new XMLHttpRequest();
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
100 request.open( 'GET', url );
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
101 request.onload = function() {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
102 if( request.status !== 200 ) {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
103 console.log( 'ajax failed: ' + request.status );
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
104 return;
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
105 }
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
106 //console.log( request.responseText );
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
107 eval( request.responseText );
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
108 };
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
109 request.send();
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
110 }
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
111
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
112 function submitted() {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
113 var input = document.querySelector('input');
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
114 ajax( '?session=<%=new_session()%>&cmd=' + encodeURIComponent(input.value) );
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
115 input.value = '';
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
116 }
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
117
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
118 </script>
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
119 <style>
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
120 body {
1293
Franklin Schmidt <fschmidt@gmail.com>
parents: 1277
diff changeset
121 font-family: sans-serif;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
122 }
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
123 pre {
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
124 font: inherit;
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
125 margin-bottom: 0;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
126 }
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
127 table {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
128 width: 100%;
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
129 border-collapse: collapse;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
130 }
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
131 td {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
132 padding: 0;
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
133 }
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
134 td:last-child {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
135 width: 100%;
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
136 }
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
137 input {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
138 width: 100%;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
139 font: inherit;
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
140 outline: none;
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
141 }
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
142 </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
143 </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
144 <body>
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
145 <pre>Luan <%=Luan.VERSION%></pre>
1300
590ad449ac7f improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
146 <form onsubmit="submitted(); return false">
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
147 <table>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
148 <tr>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
149 <td>&gt;&nbsp;</td>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
150 <td><input name=cmd autofocus></td>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
151 </tr>
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1293
diff changeset
152 </table>
560
2f39468680be remove SimplyHTML from shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 554
diff changeset
153 </form>
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
154 </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
155 </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
156 <%
139
3b384dc5ca91 replace WebShell.java with web_shell.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
157 end
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 497
diff changeset
158
1218
a50803fde972 http/tools cleanup
Franklin Schmidt <fschmidt@gmail.com>
parents: 1216
diff changeset
159 return Shell