equal
deleted
inserted
replaced
21 |
21 |
22 local console_listener = { default_port = 5582; default_mode = "*a"; interface = "127.0.0.1" }; |
22 local console_listener = { default_port = 5582; default_mode = "*a"; interface = "127.0.0.1" }; |
23 |
23 |
24 local iterators = require "util.iterators"; |
24 local iterators = require "util.iterators"; |
25 local keys, values = iterators.keys, iterators.values; |
25 local keys, values = iterators.keys, iterators.values; |
26 local jid = require "util.jid"; |
26 local jid_bare, jid_split = import("util.jid", "bare", "prepped_split"); |
27 local jid_bare, jid_split = jid.bare, jid.split; |
|
28 local set, array = require "util.set", require "util.array"; |
27 local set, array = require "util.set", require "util.array"; |
29 local cert_verify_identity = require "util.x509".verify_identity; |
28 local cert_verify_identity = require "util.x509".verify_identity; |
30 local envload = require "util.envload".envload; |
29 local envload = require "util.envload".envload; |
31 local envloadfile = require "util.envload".envloadfile; |
30 local envloadfile = require "util.envload".envloadfile; |
32 |
31 |