mod_admin_shell: Add session.is_connected() method
authorMatthew Wild <mwild1@gmail.com>
Thu, 17 Mar 2022 10:23:12 +0000
changeset 12402 478fff93ac37
parent 12401 ddf02f2a3354
child 12403 d99772b739e0
mod_admin_shell: Add session.is_connected() method
plugins/mod_admin_shell.lua
--- a/plugins/mod_admin_shell.lua	Thu Mar 17 10:22:47 2022 +0000
+++ b/plugins/mod_admin_shell.lua	Thu Mar 17 10:23:12 2022 +0000
@@ -104,6 +104,9 @@
 		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);