plugins/mod_pep.lua
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 = {};