# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# Date 1304784934 -18000
# Node ID 618e2a2b2d2c57c16e09bdbff211545b06ef7e23
# Parent  fd4d1cf6d63e67257955877e2c1208b33bde6b89
sessionmanager: Log reason when destroying a session.

diff -r fd4d1cf6d63e -r 618e2a2b2d2c core/sessionmanager.lua
--- a/core/sessionmanager.lua	Sat May 07 21:15:13 2011 +0500
+++ b/core/sessionmanager.lua	Sat May 07 21:15:34 2011 +0500
@@ -103,7 +103,7 @@
 end
 
 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)");
+	(session.log or log)("info", "Destroying session for %s (%s@%s)%s", session.full_jid or "(unknown)", session.username or "(unknown)", session.host or "(unknown)", err and (": "..err) or "");
 	if session.destroyed then return; end
 	
 	-- Remove session/resource from user's session list