From 7f9849a64ac8d56416ddeded32ad9ab011e10e4f Mon Sep 17 00:00:00 2001
From: jengo <jengo@alumni.egroupware.org>
Date: Sun, 5 Aug 2001 09:19:08 +0000
Subject: [PATCH] Added eventlog reporting

---
 logout.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/logout.php b/logout.php
index 42c5c79cde..8d0cb713fe 100755
--- a/logout.php
+++ b/logout.php
@@ -40,9 +40,14 @@
 		$phpgw->common->hook('logout');
 		$phpgw->session->destroy();
 	}
+	else
+	{
+		$phpgw->log->message('W-VerifySession, could not verify session durring logout');
+		$phpgw->log->commit();
+	}
 	Setcookie('sessionid');
 	Setcookie('kp3');
 	Setcookie('domain');
 
 	$phpgw->redirect($phpgw_info['server']['webserver_url'].'/login.php?cd=1');
-?>
+?>
\ No newline at end of file