summaryrefslogtreecommitdiffstats
path: root/include/logout.php
blob: 3acabc30a94507aaa82475228f33b30991dadc95 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
<?php
/* make sure that we are not called from outside the scripts,
 * use a variable defined in config.php to check this
 */
if(!isset($HOST))
  exit;

/* to log a player out, all we need to do is to distroy the session */
session_unset();
session_destroy();
$_SESSION = array();

?>