git.schokokeks.org
Repositories
Help
Report an Issue
webinterface.git
Code
Commits
Branches
Tags
Suche
Strukturansicht:
3172f27
Branches
Tags
master
ticket
webinterface.git
modules
index
logout.php
role auf anonymous setzen, nicht einfach löschen
bernd
commited
3172f27
at 2009-10-05 19:58:57
logout.php
Blame
History
Raw
<?php require_once('session/start.php'); require_once('inc/error.php'); 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.'); } $_SESSION['role'] = ROLE_ANONYMOUS; logger(LOG_INFO, "modules/index/logout", "logout", "logged out"); output(' <h3>Abmeldung</h3> <p>Sie wurden vom System abgemeldet.</p> <p>Um sich neu anzumelden, klicken Sie bitte hier: '.internal_link("index", "Anmeldung").'.</p> '); ?>
