annotate src/private/tools/users.html.luan @ 114:d394aad4c3c1 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 25 Nov 2025 22:24:21 -0700
parents 8c3b56bb0c83
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
3 local ipairs = Luan.ipairs or error()
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
4 local Time = require "luan:Time.luan"
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
5 local time_now = Time.now or error()
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
6 local Table = require "luan:Table.luan"
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
7 local sort = Table.sort or error()
114
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
8 local Html = require "luan:Html.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
9 local html_encode = Html.encode or error()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local Shared = require "site:/lib/Shared.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local head = Shared.head or error()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local header = Shared.private_header or error()
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
15 local User = require "site:/lib/User.luan"
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
16 local Online = require "site:/lib/Online.luan"
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
17 local get_online = Online.get_user or error()
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
18 local Logging = require "luan:logging/Logging.luan"
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
19 local logger = Logging.logger "tools/users.html"
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
22 local function sorter(u1,u2)
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
23 local o1 = u1.online
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
24 local o2 = u2.online
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
25 if o1 == nil then
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
26 return false
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
27 elseif o2 == nil then
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
28 return true
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
29 else
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
30 return o1 > o2
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
31 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
32 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
33
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 return function()
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
35 local users = User.search("type:user")
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
36 for _, user in ipairs(users) do
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
37 user.online = get_online(user)
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
38 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
39 sort(users,sorter)
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
40 local now = time_now()
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 <!doctype html>
94
8c3b56bb0c83 add lang
Franklin Schmidt <fschmidt@gmail.com>
parents: 91
diff changeset
44 <html lang="en">
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 <head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 <% head() %>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
47 <style>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
48 table {
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
49 border-collapse: collapse;
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
50 }
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
51 th, td {
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
52 border: 1px solid;
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
53 padding: 4px;
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
54 }
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
55 </style>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 </head>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 <body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 <% header() %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 <div content>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
60 <h1>users</h1>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
61 <table>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
62 <tr>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
63 <th>ID</th>
91
Franklin Schmidt <fschmidt@gmail.com>
parents: 89
diff changeset
64 <th>name <small>(open incognito)</small)</th>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
65 <th>last seen</th>
114
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
66 <th>email</th>
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
67 <th>password</th>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
68 </tr>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
69 <%
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
70 for _, user in ipairs(users) do
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
71 local online = user.online
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
72 local ago
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
73 if online == nil then
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
74 ago = ""
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
75 else
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
76 ago = `%><script>document.write(ago(<%= now - online %>))</script><%`
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
77 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
78 %>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
79 <tr>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
80 <td><%= user.id %></td>
89
Franklin Schmidt <fschmidt@gmail.com>
parents: 88
diff changeset
81 <td><a href="<%=user.login_url()%>&spy"><%= user.name_html() %></a></td>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
82 <td><%= ago %></td>
114
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
83 <td><%= html_encode(user.email) %></td>
Franklin Schmidt <fschmidt@gmail.com>
parents: 94
diff changeset
84 <td><%= html_encode(user.password) %></td>
88
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
85 </tr>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
86 <%
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
87 end
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
88 %>
7b339b1ccd11 add tools/users.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
89 </table>
0
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 </div>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 </body>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 </html>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 end