annotate src/private/tools/chat.html.luan @ 9:46097e607701

romaji
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 21 Jul 2025 15:16:47 -0600
parents 255c36830154
children 0fb3488a017d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local Io = require "luan:Io.luan"
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Http = require "luan:http/Http.luan"
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Shared = require "site:/lib/Shared.luan"
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local head = Shared.head or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local header = Shared.header or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local started = Shared.started or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Chat = require "site:/lib/Chat.luan"
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local get_chat_by_id = Chat.get_by_id or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 return function()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local chat_id = Http.request.parameters.chat or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local process_markdown = Http.request.parameters.markdown ~= nil
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 local chat = get_chat_by_id(chat_id) or error()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 Io.stdout = Http.response.text_writer()
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 <!doctype html>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 <html lang="en">
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 <head>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 <% head() %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 <style>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 <% if not process_markdown then %>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
25 [markdown] {
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 white-space-collapse: preserve;
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 }
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 <% end %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 </style>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 </head>
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
31 <body>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 <% header() %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 <div content>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <h1>Chat <%=chat_id%></h1>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <h3 name><%= chat.name_html() %></h3>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 <div messages>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 <% chat.output_messages_html() %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 </div>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 </div>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 <% if process_markdown then %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 <script>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 handleMarkdown();
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 </script>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 <% end %>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 </body>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 </html>
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 <%
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 end