changeset 3:eee6d4f59811

add tools
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 08 Jul 2025 16:02:29 -0600
parents 78708fa556a0
children b1adec083e44
files src/private/tools/index.html.luan src/private/tools/lucene.html.luan
diffstat 2 files changed, 31 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
diff -r 78708fa556a0 -r eee6d4f59811 src/private/tools/index.html.luan
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/private/tools/index.html.luan	Tue Jul 08 16:02:29 2025 -0600
@@ -0,0 +1,25 @@
+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()
+
+
+return function()
+	Io.stdout = Http.response.text_writer()
+%>
+<!doctype html>
+<html lang="en">
+	<head>
+<%		head() %>
+	</head>
+	<body>
+		<div content>
+			<h1>Private Tools</h1>
+			<p><a href="lucene.html">lucene</a></p>
+		</div>
+	</body>
+</html>
+<%
+end
diff -r 78708fa556a0 -r eee6d4f59811 src/private/tools/lucene.html.luan
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/private/tools/lucene.html.luan	Tue Jul 08 16:02:29 2025 -0600
@@ -0,0 +1,6 @@
+local Luan = require "luan:Luan.luan"
+local error = Luan.error
+local Web_search = require "luan:lucene/Web_search.luan"
+local Db = require "site:/lib/Db.luan"
+
+return Web_search.of(Db)