diff options
| -rw-r--r-- | plugins/mod_admin_shell.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/mod_admin_shell.lua b/plugins/mod_admin_shell.lua index c0aed977..28536c53 100644 --- a/plugins/mod_admin_shell.lua +++ b/plugins/mod_admin_shell.lua @@ -104,6 +104,9 @@ function console:new_session(admin_session) end; serialize = tostring; disconnect = function () admin_session:close(); end; + is_connected = function () + return not not admin_session.conn; + end }; session.env = setmetatable({}, default_env_mt); |