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 echo "<div class=\"message\"><span class=\"bigger\">You are now logged out!</span><br />\n".
  14 "(<a href=\"$INDEX\">This will take you back to the home-page</a>)</div>";
  15 ?>