webinterface.git

1) <?php
2) 
3) require_once('session/start.php');
4) 
5) require_once('inc/error.php');
6) 

7) logger("modules/index/logout.php", "logout", "logged out");
8) 

9) if (!session_destroy())
10) {

11)   logger("modules/index/logout.php", "logout", "session timed out.");