CLEANUP: better debugging option for DB querries
[e-DoKo.git] / include / logout.php
1 <?php
2 /* make sure that we are not called from outside the scripts,
3  * use a variable defined in config.php to check this
4  */
5 if(!isset($HOST))
6   exit;
7
8 /* to log a player out, all we need to do is to distroy the session */
9 session_unset();
10 session_destroy();
11 $_SESSION = array();
12
13 ?>