# HG changeset patch
# User rejo
# Date 1182805042 0
# Node ID 576034a80ea83b79048ca4106e5bb42fb022296a
# Parent  9f0138ac3028be2faed3b0c8dd9d97ae5149a57a
[feladat @ 72]
After a user had logged out, the menu bar was still shown until a
reloading the login screen. [Fix: Peter Beernink]

diff -r 9f0138ac3028 -r 576034a80ea8 inc/auth.inc.php
--- a/inc/auth.inc.php	Mon Jun 25 20:52:41 2007 +0000
+++ b/inc/auth.inc.php	Mon Jun 25 20:57:22 2007 +0000
@@ -102,6 +102,9 @@
 		$msg = _('You have logged out.');
 		$type = "success";
 	};
+	unset($_SESSION["userid"]);
+	unset($_SESSION["name"]);
+	unset($_SESSION["level"]);;
 	session_destroy();
 	session_write_close();
 	auth($msg, $type);