plugins/mod_pep.lua
changeset 9116 74639d606a15
parent 9106 d5a7d2697b19
child 9117 ca5228a7d907
equal deleted inserted replaced
9115:e66d932eeb58 9116:74639d606a15
    15 
    15 
    16 local lib_pubsub = module:require "pubsub";
    16 local lib_pubsub = module:require "pubsub";
    17 
    17 
    18 local empty_set = set_new();
    18 local empty_set = set_new();
    19 
    19 
       
    20 -- username -> util.pubsub service object
    20 local services = {};
    21 local services = {};
       
    22 
       
    23 -- username -> recipient -> set of full JID
    21 local recipients = {};
    24 local recipients = {};
    22 local hash_map = {};
    25 local hash_map = {};
    23 
    26 
    24 local host = module.host;
    27 local host = module.host;
    25 
    28