<?php

require_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>

');



?>