plugins/mod_console.lua

changeset 2058
77244fd4ca99
parent 2055
a43aea9b0bd1
child 2087
5efd79871205
--- a/plugins/mod_console.lua	Mon Oct 26 23:29:04 2009 +0000
+++ b/plugins/mod_console.lua	Mon Oct 26 23:30:15 2009 +0000
@@ -127,7 +127,11 @@
 end
 
 function console_listener.disconnect(conn, err)
-	
+	local session = sessions[conn];
+	if session then
+		session.disconnect();
+		sessions[conn] = nil;
+	end
 end
 
 connlisteners_register('console', console_listener);

mercurial