webinterface.git

1) <?php
2) 
3) require_once('session/start.php');
4) 
5) require_once('inc/error.php');
6) 
7) if (!session_destroy())
8) {

9)   logger(LOG_INFO, "modules/index/logout", "logout", "session timed out.");

10) 	system_failure('Die Sitzung konnte nicht geschlossen werden, eventuell ist die Wartezeit abgelaufen und die Sitzung wurde daher schon beendet.');
11) }

12) $_SESSION['role'] = ROLE_ANONYMOUS;

13) 

14) logger(LOG_INFO, "modules/index/logout", "logout", "logged out");

15) 

16) output('
17) 
18) <h3>Abmeldung</h3>
19) 
20) <p>Sie wurden vom System abgemeldet.</p>
21) 

22) <p>Um sich neu anzumelden, klicken Sie bitte hier: '.internal_link("index", "Anmeldung").'.</p>