changeset 5023 | dcc8e789df36 |
parent 5021 | 85b2689dbcfe |
child 5024 | d25e1b9332cc |
--- a/plugins/mod_admin_telnet.lua Sat Jun 09 01:18:21 2012 +0200 +++ b/plugins/mod_admin_telnet.lua Sat Jun 09 02:27:44 2012 +0200 @@ -15,6 +15,9 @@ local console_listener = { default_port = 5582; default_mode = "*l"; interface = "127.0.0.1" }; +local hostmanager = require "core.hostmanager"; +local modulemanager = require "core.modulemanager"; + local iterators = require "util.iterators"; local keys, values = iterators.keys, iterators.values; local jid = require "util.jid";