annotate src/heartbeat.js.luan @ 111:37ab261aee7b default tip

notify fix
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 16 Sep 2025 00:01:53 -0600
parents 62d6725b4db0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
75
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
3 local ipairs = Luan.ipairs or error()
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local String = require "luan:String.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local to_number = String.to_number or error()
103
3ea9783cee39 handle no user
Franklin Schmidt <fschmidt@gmail.com>
parents: 92
diff changeset
6 local trim = String.trim or error()
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
7 local Parsers = require "luan:Parsers.luan"
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
8 local json_string = Parsers.json_string or error()
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Time = require "luan:Time.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local time_now = Time.now or error()
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local Io = require "luan:Io.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local Http = require "luan:http/Http.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local User = require "site:/lib/User.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local current_user = User.current or error()
75
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
15 local get_user_by_id = User.get_by_id or error()
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
16 local Shared = require "site:/lib/Shared.luan"
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
17 local compressed = Shared.compressed or error()
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
18 local Online = require "site:/lib/Online.luan"
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
19 local set_online = Online.set or error()
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
20 local get_online = Online.get or error()
75
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
21 local Chat = require "site:/lib/Chat.luan"
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
22 local get_chat_by_id = Chat.get_by_id or error()
111
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
23 local Notify = require "site:/lib/Notify.luan"
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
24 local notify_active = Notify.active or error()
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 local Logging = require "luan:logging/Logging.luan"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 local logger = Logging.logger "heartbeat.js"
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 return function()
103
3ea9783cee39 handle no user
Franklin Schmidt <fschmidt@gmail.com>
parents: 92
diff changeset
30 local user = current_user()
3ea9783cee39 handle no user
Franklin Schmidt <fschmidt@gmail.com>
parents: 92
diff changeset
31 if user == nil then
105
62d6725b4db0 logging
Franklin Schmidt <fschmidt@gmail.com>
parents: 103
diff changeset
32 logger.warn("no user\n"..trim(Http.request.raw_head).."\n")
103
3ea9783cee39 handle no user
Franklin Schmidt <fschmidt@gmail.com>
parents: 92
diff changeset
33 return
3ea9783cee39 handle no user
Franklin Schmidt <fschmidt@gmail.com>
parents: 92
diff changeset
34 end
89
Franklin Schmidt <fschmidt@gmail.com>
parents: 85
diff changeset
35 local spy = Http.request.cookies.spy ~= nil
Franklin Schmidt <fschmidt@gmail.com>
parents: 85
diff changeset
36 if not spy then
Franklin Schmidt <fschmidt@gmail.com>
parents: 85
diff changeset
37 set_online(user)
Franklin Schmidt <fschmidt@gmail.com>
parents: 85
diff changeset
38 end
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
39 Io.stdout = Http.response.text_writer()
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 30
diff changeset
40
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 local last_update = Http.request.parameters.last_update or error()
46
42b741a1d5c6 add username
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
42 last_update = to_number(last_update) or error(last_update)
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 local user_last_update = user.last_update()
92
c41e200c3e76 try to fix lost posts
Franklin Schmidt <fschmidt@gmail.com>
parents: 89
diff changeset
44 if time_now() - user_last_update > 10000 and last_update < user_last_update then
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
45 logger.info "update"
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
46 %>
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
47 location = '/';
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
48 <%
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 return
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 end
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
51
111
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
52 local focus = Http.request.parameters.focus or error()
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
53 if focus == "true" then
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
54 notify_active(user)
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
55 end
37ab261aee7b notify fix
Franklin Schmidt <fschmidt@gmail.com>
parents: 105
diff changeset
56
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
57 local online = get_online(user)
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 %>
73
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
59 online = <%=json_string(online,compressed)%>;
a63faf49e1d7 last seen
Franklin Schmidt <fschmidt@gmail.com>
parents: 46
diff changeset
60 showOnline();
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 <%
75
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
62 local chat = Http.request.parameters.chat
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
63 if chat ~= nil then
85
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
64 chat = get_chat_by_id(chat)
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
65 if chat == nil then
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
66 %>
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
67 location = '/';
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
68 <%
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
69 return
Franklin Schmidt <fschmidt@gmail.com>
parents: 75
diff changeset
70 end
75
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
71 local my_user_id = user.id
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
72 for _, user_id in ipairs(chat.user_ids) do
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
73 if user_id == my_user_id then continue end
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
74 local user = get_user_by_id(user_id)
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
75 %>
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
76 readUpTo(<%=user_id%>,<%=json_string(user.name_html())%>,<%=chat.unread(user)%>);
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
77 <%
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
78 end
377bdda60f0b read up to
Franklin Schmidt <fschmidt@gmail.com>
parents: 73
diff changeset
79 end
30
f4708943f29e add heartbeat
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 end