comparison src/servers.html.luan @ 11:62dd23f0b549

start add server
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 29 Oct 2023 22:39:31 -0600
parents src/index.html.luan@43814e9f5802
children af2b95854072
comparison
equal deleted inserted replaced
10:ae9ebeb1c246 11:62dd23f0b549
1 local Luan = require "luan:Luan.luan"
2 local error = Luan.error
3 local Io = require "luan:Io.luan"
4 local Http = require "luan:http/Http.luan"
5 local Shared = require "site:/lib/Shared.luan"
6 local head = Shared.head or error()
7 local header = Shared.header or error()
8 local footer = Shared.footer or error()
9
10
11 return function()
12 Io.stdout = Http.response.text_writer()
13 %>
14 <!doctype html>
15 <html>
16 <head>
17 <% head() %>
18 <title>Disearch</title>
19 </head>
20 <body>
21 <% header() %>
22
23 <h1>Your servers</h1>
24
25 <p><a href="choose_server.html">add server</a></p>
26
27 <% footer() %>
28 </body>
29 </html>
30 <%
31 end