plugins/mod_console.lua

changeset 3733
26571a99f6e6
parent 3718
f25b94ae645d
equal deleted inserted replaced
3732:bf449ecf2144 3733:26571a99f6e6
17 local console_listener = { default_port = 5582; default_mode = "*l"; default_interface = "127.0.0.1" }; 17 local console_listener = { default_port = 5582; default_mode = "*l"; default_interface = "127.0.0.1" };
18 18
19 require "util.iterators"; 19 require "util.iterators";
20 local jid_bare = require "util.jid".bare; 20 local jid_bare = require "util.jid".bare;
21 local set, array = require "util.set", require "util.array"; 21 local set, array = require "util.set", require "util.array";
22 local cert_verify_identity = require "util.certverification".verify_identity; 22 local cert_verify_identity = require "util.x509".verify_identity;
23 23
24 local commands = {}; 24 local commands = {};
25 local def_env = {}; 25 local def_env = {};
26 local default_env_mt = { __index = def_env }; 26 local default_env_mt = { __index = def_env };
27 27

mercurial