# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1224856043 -3600
# Node ID 884c43c7028a3aeee7f813cdb3373721798dc5d4
# Parent  8c9a9f6f64553ca5d7053fa44409b6a1b27fbb9c
Fix for sessionmanager to not throw error when session doesn't have a private logger

diff -r 8c9a9f6f6455 -r 884c43c7028a core/sessionmanager.lua
--- a/core/sessionmanager.lua	Fri Oct 24 14:46:22 2008 +0100
+++ b/core/sessionmanager.lua	Fri Oct 24 14:47:23 2008 +0100
@@ -34,7 +34,7 @@
 end
 
 function destroy_session(session)
-	session.log("info", "Destroying session");
+	(session.log or log)("info", "Destroying session");
 	if session.host and session.username then
 		if session.resource then
 			hosts[session.host].sessions[session.username].sessions[session.resource] = nil;