annotate src/private/tools/index.html.luan @ 8:c7a899252621

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 15 Jun 2022 13:01:50 -0600
parents a6be8817c05b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
2 local error = Luan.error
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 local Io = require "luan:Io.luan"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4 local Http = require "luan:http/Http.luan"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 local Shared = require "site:/lib/Shared.luan"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6 local head = Shared.head or error()
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
7 local header = Shared.private_header or error()
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
8
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
9
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
10 return function()
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
11 Io.stdout = Http.response.text_writer()
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
12 %>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
13 <!doctype html>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
14 <html>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
15 <head>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
16 <% head() %>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
17 <title>Mercurial Private Tools</title>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
18 </head>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
19 <body>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
20 <% header() %>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
21 <div content>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
22 <h1>Private Tools</h1>
4
028e74c8889d add all_users
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
23 <p><a href="private_users.html">edit private users</a></p>
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
24 <p><a href="backup.html">edit backup</a></p>
4
028e74c8889d add all_users
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
25 <p><a href="all_users.html">all users</a></p>
6
a6be8817c05b move mail_info to config
Franklin Schmidt <fschmidt@gmail.com>
parents: 4
diff changeset
26 <p><a href="configure_mail.html">configure mail</a></p>
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
27 <p><a href="links.txt">links.txt</a></p>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
28 </div>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
29 </body>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
30 </html>
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
31 <%
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
32 end