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

 
 ');
 
 
 
 ?>