inc/auth.inc.php
changeset 25 576034a80ea8
parent 13 2ff220cfde13
child 47 ae140472d97c
--- 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);