annotate src/delete_user.js.luan @ 17:7230c821c368

push fixes
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 04 Nov 2024 14:44:35 -0700
parents e22a1ba4b2ed
children f4708943f29e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
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
17
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
3 local ipairs = Luan.ipairs or error()
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
4 local stringify = Luan.stringify or error()
6
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Io = require "luan:Io.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Http = require "luan:http/Http.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local User = require "site:/lib/User.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local current_user = User.current or error()
17
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
9 local Chat = require "site:/lib/Chat.luan"
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
10 local chat_search = Chat.search or error()
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
11 local Utils = require "site:/lib/Utils.luan"
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
12 local list_to_set = Utils.list_to_set or error()
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
13 local set_to_list = Utils.set_to_list or error()
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
14 local Shared = require "site:/lib/Shared.luan"
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
15 local http_push_to_users = Shared.http_push_to_users or error()
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
16 local Logging = require "luan:logging/Logging.luan"
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
17 local logger = Logging.logger "delete_user.js"
6
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 return function()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 local user = current_user()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 if user ~= nil then
17
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
23 local user_ids = list_to_set{}
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
24 local chats = chat_search( "chat_user_ids:"..user.id, "chat_updated desc" )
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
25 for _, chat in ipairs(chats) do
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
26 for _, user_id in ipairs(chat.user_ids) do
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
27 user_ids[user_id] = true
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
28 end
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
29 end
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
30 user_ids = set_to_list(user_ids)
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
31 local js = "getChats(null)"
6
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 user.delete()
17
7230c821c368 push fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
33 http_push_to_users( user_ids, js )
6
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 end
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 Io.stdout = Http.response.text_writer()
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 %>
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 logout();
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 <%
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 end