git.schokokeks.org
Repositories
Help
Report an Issue
webinterface.git
Code
Commits
Branches
Tags
Suche
Strukturansicht:
63a0529
Branches
Tags
master
ticket
webinterface.git
modules
index
logout.php
eliminate .php extensions for URLs
bernd
commited
63a0529
at 2008-08-08 19:32:32
logout.php
Blame
History
Raw
<?php require_once('session/start.php'); require_once('inc/error.php'); if (!session_destroy()) { logger("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']); logger("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> '); ?>