plugins/mod_pep_plus.lua
changeset 8342 4fce6bc0719f
parent 8338 9db72349095f
child 8344 910d3c3f60a6
equal deleted inserted replaced
8341:30d8157391e9 8342:4fce6bc0719f
    11 local xmlns_pubsub = "http://jabber.org/protocol/pubsub";
    11 local xmlns_pubsub = "http://jabber.org/protocol/pubsub";
    12 local xmlns_pubsub_event = "http://jabber.org/protocol/pubsub#event";
    12 local xmlns_pubsub_event = "http://jabber.org/protocol/pubsub#event";
    13 local xmlns_pubsub_owner = "http://jabber.org/protocol/pubsub#owner";
    13 local xmlns_pubsub_owner = "http://jabber.org/protocol/pubsub#owner";
    14 
    14 
    15 local lib_pubsub = module:require "pubsub";
    15 local lib_pubsub = module:require "pubsub";
    16 local handlers = lib_pubsub.handlers;
       
    17 
    16 
    18 local empty_set = set_new();
    17 local empty_set = set_new();
    19 
    18 
    20 local services = {};
    19 local services = {};
    21 local recipients = {};
    20 local recipients = {};