core/sessionmanager.lua
changeset 4263 618e2a2b2d2c
parent 4230 23b68616b6d8
child 4325 fb35ccf391af
--- 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