annotate src/tools/hello_luan.html.luan @ 10:b0b325565d30

add public tools
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 21 Jul 2025 19:13:02 -0600
parents src/login_sent.html.luan@78708fa556a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local Io = require "luan:Io.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Http = require "luan:http/Http.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Shared = require "site:/lib/Shared.luan"
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local head = Shared.head or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local header = Shared.header or error()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 return function()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 Io.stdout = Http.response.text_writer()
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 %>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 <!doctype html>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 <html lang="en">
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 <head>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 <% head() %>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 </head>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 <body>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 <% header() %>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 <div content>
10
b0b325565d30 add public tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 2
diff changeset
21 <p>Hello Luan</p>
2
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 </div>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 </body>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 </html>
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 <%
78708fa556a0 add login
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 end