# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1268535581 0
# Node ID 18d8009f06cb4641625c37222e43736ca27556bc
# Parent  1d7746c3a8c6f33a13c5b2314c00d6cdcdd4eb2e
sessionmanager: Don't re-destroy destroyed sessions

diff -r 1d7746c3a8c6 -r 18d8009f06cb 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