role auf anonymous setzen, nicht einfach löschen (3172f27) - webinterface.git

role auf anonymous setzen, nicht einfach löschen

bernd commited on 2009-10-05 19:58:57
Zeige 1 geänderte Dateien mit 1 Einfügungen und 1 Löschungen.

git-svn-id: https://svn.schokokeks.org/repos/tools/webinterface/trunk@1488 87cf0b9e-d624-0410-a070-f6ee81989793

modules/index/logout.php 2fb3d30..b08d74e

modules/index/logout.php

Zeige Datei @ 3172f27

@@ -9,7 +9,7 @@ if (!session_destroy())
   logger(LOG_INFO, "modules/index/logout", "logout", "session timed out.");
 	system_failure('Die Sitzung konnte nicht geschlossen werden, eventuell ist die Wartezeit abgelaufen und die Sitzung wurde daher schon beendet.');
 }
-unset($_SESSION['role']);
+$_SESSION['role'] = ROLE_ANONYMOUS;
 
 logger(LOG_INFO, "modules/index/logout", "logout", "logged out");
 


...	...	@@ -9,7 +9,7 @@ if (!session_destroy())
9	9	logger(LOG_INFO, "modules/index/logout", "logout", "session timed out.");
10	10	system_failure('Die Sitzung konnte nicht geschlossen werden, eventuell ist die Wartezeit abgelaufen und die Sitzung wurde daher schon beendet.');
11	11	}
12		-unset($_SESSION['role']);
	12	+$_SESSION['role'] = ROLE_ANONYMOUS;
13	13
14	14	logger(LOG_INFO, "modules/index/logout", "logout", "logged out");
15	15
16	16