# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1647512592 0
# Node ID 478fff93ac37329d8858ba7c320d3e648f1d2a26
# Parent  ddf02f2a33545ca603ec7248ac91adb0c1db7437
mod_admin_shell: Add session.is_connected() method

diff -r ddf02f2a3354 -r 478fff93ac37 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);