plugins/mod_pep.lua
changeset 5170 3eaf4fc58902
parent 5013 ab693eea0869
child 5627 0439d1349dc1
child 5682 e7b9ba2d0638
equal deleted inserted replaced
5169:ed2d64fb7301 5170:3eaf4fc58902
     8 
     8 
     9 
     9 
    10 local jid_bare = require "util.jid".bare;
    10 local jid_bare = require "util.jid".bare;
    11 local jid_split = require "util.jid".split;
    11 local jid_split = require "util.jid".split;
    12 local st = require "util.stanza";
    12 local st = require "util.stanza";
    13 local hosts = hosts;
       
    14 local user_exists = require "core.usermanager".user_exists;
       
    15 local is_contact_subscribed = require "core.rostermanager".is_contact_subscribed;
    13 local is_contact_subscribed = require "core.rostermanager".is_contact_subscribed;
    16 local pairs, ipairs = pairs, ipairs;
    14 local pairs = pairs;
    17 local next = next;
    15 local next = next;
    18 local type = type;
    16 local type = type;
    19 local calculate_hash = require "util.caps".calculate_hash;
    17 local calculate_hash = require "util.caps".calculate_hash;
    20 local core_post_stanza = prosody.core_post_stanza;
    18 local core_post_stanza = prosody.core_post_stanza;
    21 
    19