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 |