annotate src/lib/Notify.luan @ 110:d2637760cd00

better notification
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 15 Sep 2025 13:29:10 -0600
parents 46418395c860
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local ipairs = Luan.ipairs or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local pairs = Luan.pairs or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local stringify = Luan.stringify or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Time = require "luan:Time.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local time_now = Time.now or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Thread = require "luan:Thread.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local Http = require "luan:http/Http.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Chat = require "site:/lib/Chat.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local User = require "site:/lib/User.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local get_user_by_id = User.get_by_id or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local Db = require "site:/lib/Db.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 local run_in_transaction = Db.run_in_transaction or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local Shared = require "site:/lib/Shared.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 local send_mail = Shared.send_mail or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local Utils = require "site:/lib/Utils.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 local shallow_copy = Utils.shallow_copy or error()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local Logging = require "luan:logging/Logging.luan"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 local logger = Logging.logger "Notify"
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 local Notify = {}
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24
45
e138343b2c76 unsubscribe and more
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
25 local base_url = Http.domain and "https://"..Http.domain or "http://localhost:8080"
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 local wait = Time.period{seconds=10}
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 local function set_notified(user,was_notified)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 run_in_transaction( function()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 user = user.reload()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 user.was_notified = was_notified
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 user.save()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 end )
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 local function init()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 local users = {}
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 local fns = {}
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
41 function fns.notify(user_ids,mute_ids,user_name,post_content,chat_id)
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 local now = time_now()
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 for _, user_id in ipairs(user_ids) do
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 local user = get_user_by_id(user_id)
104
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 87
diff changeset
45 if users[user_id] == nil \
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 87
diff changeset
46 and user.notify_email ~= nil \
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 87
diff changeset
47 and not mute_ids[user_id] \
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 87
diff changeset
48 and (user.multi_notify or not user.was_notified) \
46418395c860 add mute chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 87
diff changeset
49 then
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 send_mail {
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 To = user.notify_email
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
52 Subject = "Message from "..user_name
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 body = `%>
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
54 <%= post_content %>
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
56 <%= base_url %>/?chat=<%= chat_id %>
45
e138343b2c76 unsubscribe and more
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
57
e138343b2c76 unsubscribe and more
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
58 To unsubscribe:
e138343b2c76 unsubscribe and more
Franklin Schmidt <fschmidt@gmail.com>
parents: 41
diff changeset
59 <%= base_url %>/unsubscribe.html?user=<%=user_id%>&password=<%=user.password%>
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 <% `
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 }
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
62 if not user.multi_notify then
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
63 set_notified(user,true)
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
64 end
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
65 end
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
66 end
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
67 end
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
68
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
69 function fns.active(user_id)
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
70 users[user_id] = time_now()
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
71 -- logger.info("active "..user_id)
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
72 end
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
73
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
74 function fns.remove()
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
75 -- logger.info("remove")
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
76 local now = time_now()
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
77 for user_id, when in pairs(shallow_copy(users)) do
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
78 if now - when > wait then
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79 users[user_id] = nil
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 return fns
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 local glob = Thread.global_callable("notify",init)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
89 function Notify.notify(chat,post,user)
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 Thread.run(function()
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
91 local user_name = user.name or user.email
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
92 glob.notify(chat.user_ids,chat.mute_ids,user_name,post.content,chat.id)
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 end)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
96 function Notify.active(user)
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 Thread.run(function()
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
98 glob.active(user.id)
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 if user.was_notified then
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 set_notified(user,false)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 end)
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 end
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104
110
d2637760cd00 better notification
Franklin Schmidt <fschmidt@gmail.com>
parents: 104
diff changeset
105 Thread.schedule( glob.remove, { repeating_delay=Time.period{seconds=10} } )
40
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106
7ea33179592a email notification
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 return Notify