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 /* distroy the session */
   9 session_unset();
  10 session_destroy();
  11 $_SESSION = array();
  12
  13 ?>