diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/mod_console.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/mod_console.lua b/plugins/mod_console.lua index 1b106888..64e420e2 100644 --- a/plugins/mod_console.lua +++ b/plugins/mod_console.lua @@ -19,6 +19,7 @@ local console_listener = { default_port = 5582; default_mode = "*l"; default_int require "util.iterators"; local jid_bare = require "util.jid".bare; local set, array = require "util.set", require "util.array"; +local cert_verify_identity = require "util.certverification".verify_identity; local commands = {}; local def_env = {}; |