equal
deleted
inserted
replaced
10 module:set_global(); |
10 module:set_global(); |
11 module:depends("admin_shell"); |
11 module:depends("admin_shell"); |
12 |
12 |
13 local console_listener = { default_port = 5582; default_mode = "*a"; interface = "127.0.0.1" }; |
13 local console_listener = { default_port = 5582; default_mode = "*a"; interface = "127.0.0.1" }; |
14 |
14 |
15 local async = require "util.async"; |
15 local async = require "prosody.util.async"; |
16 local st = require "util.stanza"; |
16 local st = require "prosody.util.stanza"; |
17 |
17 |
18 local def_env = module:shared("admin_shell/env"); |
18 local def_env = module:shared("admin_shell/env"); |
19 local default_env_mt = { __index = def_env }; |
19 local default_env_mt = { __index = def_env }; |
20 |
20 |
21 local function printbanner(session) |
21 local function printbanner(session) |