view 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
line wrap: on
line source

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() %>
	</head>
	<body>
<%		header() %>
		<div content>
			<h1>Private Tools</h1>
			<p><a href="users.html">users</a></p>
			<p><a href="config.html">configure</a></p>
			<p>
				public tools:
				<a href="/tools/dimensions.html">dimensions</a>
				- <a href="/tools/cookies.html">cookies</a>
				- <a href="/tools/request.txt">HTTP request</a>
			</p>
			<p><a href="../local/logs/">logs</a></p>
			<p><a href="lucene.html">lucene</a></p>
			<p><a href="shell.html">luan shell</a></p>
			<p><a href="run">luan batch</a></p>
		</div>
	</body>
</html>
<%
end