plugins/mod_pep.lua
changeset 5170 3eaf4fc58902
parent 5013 ab693eea0869
child 5627 0439d1349dc1
child 5682 e7b9ba2d0638
--- a/plugins/mod_pep.lua	Sat Oct 13 15:21:59 2012 +0200
+++ b/plugins/mod_pep.lua	Sun Oct 14 21:03:52 2012 +0200
@@ -10,10 +10,8 @@
 local jid_bare = require "util.jid".bare;
 local jid_split = require "util.jid".split;
 local st = require "util.stanza";
-local hosts = hosts;
-local user_exists = require "core.usermanager".user_exists;
 local is_contact_subscribed = require "core.rostermanager".is_contact_subscribed;
-local pairs, ipairs = pairs, ipairs;
+local pairs = pairs;
 local next = next;
 local type = type;
 local calculate_hash = require "util.caps".calculate_hash;