changeset 9116 | 74639d606a15 |
parent 9106 | d5a7d2697b19 |
child 9117 | ca5228a7d907 |
--- a/plugins/mod_pep.lua Sat Aug 04 23:12:52 2018 +0200 +++ b/plugins/mod_pep.lua Sat Aug 04 23:44:34 2018 +0200 @@ -17,7 +17,10 @@ local empty_set = set_new(); +-- username -> util.pubsub service object local services = {}; + +-- username -> recipient -> set of full JID local recipients = {}; local hash_map = {};