Changeset

2752:18d8009f06cb

sessionmanager: Don't re-destroy destroyed sessions
author Matthew Wild <mwild1@gmail.com>
date Sun, 14 Mar 2010 02:59:41 +0000
parents 2751:1d7746c3a8c6
children 2753:305428b14f76
files core/sessionmanager.lua
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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