annotate src/private/tools/index.html.luan @ 88:7b339b1ccd11

add tools/users.html
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 13 Mar 2025 16:18:39 -0600
parents e22a1ba4b2ed
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local header = Shared.private_header or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 return function()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 <!doctype html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 <html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 <% head() %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 <% header() %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 <div content>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 <h1>Private Tools</h1>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
22 <p><a href="users.html">users</a></p>
1
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
23 <p><a href="config.html">configure</a></p>
6
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
24 <p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
25 public tools:
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
26 <a href="/tools/dimensions.html">dimensions</a>
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
27 - <a href="/tools/cookies.html">cookies</a>
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
28 - <a href="/tools/request.txt">HTTP request</a>
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
29 </p>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
30 <p><a href="../local/logs/">logs</a></p>
2
Franklin Schmidt <fschmidt@gmail.com>
parents: 1
diff changeset
31 <p><a href="lucene.html">lucene</a></p>
4
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
32 <p><a href="shell.html">luan shell</a></p>
2da10ece826f add Chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
33 <p><a href="run">luan batch</a></p>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 end