diff src/private/tools/index.html.luan @ 0:dfc36e7ed22c

init
author Vadim Filimonov <fffilimonov@yandex.ru>
date Thu, 12 May 2022 13:51:59 +0400
parents
children 028e74c8889d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/private/tools/index.html.luan	Thu May 12 13:51:59 2022 +0400
@@ -0,0 +1,30 @@
+local Luan = require "luan:Luan.luan"
+local error = Luan.error
+local Io = require "luan:Io.luan"
+local Http = require "luan:http/Http.luan"
+local Shared = require "site:/lib/Shared.luan"
+local head = Shared.head or error()
+local header = Shared.private_header or error()
+
+
+return function()
+	Io.stdout = Http.response.text_writer()
+%>
+<!doctype html>
+<html>
+	<head>
+<%		head() %>
+		<title>Mercurial Private Tools</title>
+	</head>
+	<body>
+<%		header() %>
+		<div content>
+			<h1>Private Tools</h1>
+			<p><a href="users.html">edit private users</a></p>
+			<p><a href="backup.html">edit backup</a></p>
+			<p><a href="links.txt">links.txt</a></p>
+		</div>
+	</body>
+</html>
+<%
+end