annotate mod_log_events/mod_log_events.lua @ 5536:96dec7681af8

mod_firewall: Update user marks to store instantly via map store The original approach was to keep marks in memory only, and persist them at shutdown. That saves I/O, at the cost of potentially losing marks on an unclean shutdown. This change persists marks instantly, which may have some performance overhead but should be more "correct". It also splits the marking/unmarking into an event which may be watched or even fired by other modules.
author Matthew Wild <mwild1@gmail.com>
date Thu, 08 Jun 2023 16:20:42 +0100
parents 0e008f36a91c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1638
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
1 module:set_global();
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
2
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
3 local helpers = require "util.helpers";
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
4
1995
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
5 local function init(module, events, name)
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
6 helpers.log_events(events, name, module._log);
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
7
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
8 function module.unload()
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
9 helpers.revert_log_events(events);
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
10 end
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
11 end
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
12
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
13 init(module, prosody.events, "global");
1638
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
14
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
15 function module.add_host(module)
1995
0e008f36a91c mod_log_events: No such thing as module.remove_host. Fix this module so it can be loaded/unloaded dynamically and behave (mostly) correctly
Matthew Wild <mwild1@gmail.com>
parents: 1638
diff changeset
16 init(module, prosody.hosts[module.host].events, module.host);
1638
9276473ee5be mod_log_events: Module to log all events on the server/host
Matthew Wild <mwild1@gmail.com>
parents:
diff changeset
17 end