sessionmanager: Don't re-destroy destroyed sessions
authorMatthew Wild <mwild1@gmail.com>
Sun, 14 Mar 2010 02:59:41 +0000
changeset 2752 18d8009f06cb
parent 2751 1d7746c3a8c6
child 2753 305428b14f76
sessionmanager: Don't re-destroy destroyed sessions
core/sessionmanager.lua
--- 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