equal
deleted
inserted
replaced
15 local usermanager = require "core.usermanager"; |
15 local usermanager = require "core.usermanager"; |
16 |
16 |
17 local admins; |
17 local admins; |
18 if usermanager.get_jids_with_role then |
18 if usermanager.get_jids_with_role then |
19 local set = require "util.set"; |
19 local set = require "util.set"; |
20 admins = set.new(usermanager.get_jids_with_role("prosody:admin"), module.host); |
20 admins = set.new(usermanager.get_jids_with_role("prosody:admin", module.host)); |
21 else -- COMPAT w/pre-0.12 |
21 else -- COMPAT w/pre-0.12 |
22 admins = module:get_option_inherited_set("admins", {}); |
22 admins = module:get_option_inherited_set("admins", {}); |
23 end |
23 end |
24 admins = admins / |
24 admins = admins / |
25 function (admin) -- Filter out non-local admins |
25 function (admin) -- Filter out non-local admins |