core/sessionmanager.lua

changeset 2752
18d8009f06cb
parent 2751
1d7746c3a8c6
child 2915
f47bd0f7e2e6
--- a/core/sessionmanager.lua	Sun Mar 14 02:59:16 2010 +0000
+++ b/core/sessionmanager.lua	Sun Mar 14 02:59:41 2010 +0000
@@ -88,6 +88,7 @@
 
 function destroy_session(session, err)
 	(session.log or log)("info", "Destroying session for %s (%s@%s)", session.full_jid or "(unknown)", session.username or "(unknown)", session.host or "(unknown)");
+	if session.destroyed then return; end
 	
 	-- Remove session/resource from user's session list
 	if session.full_jid then

mercurial