<?phprequire_once('session/start.php');require_once('inc/error.php');if (!session_destroy()){system_failure('Die Sitzung konnte nicht geschlossen werden, eventuell ist die Wartezeit abgelaufen und die Sitzung wurde daher schon beendet.');}unset($_SESSION['role']);output('<h3>Abmeldung</h3><p>Sie wurden vom System abgemeldet.</p><p>Um sich neu anzumelden, klicken Sie bitte hier: <a href="index.php">Anmeldung</a>.</p>');?>