some more comments
[e-DoKo.git] / include / logout.php
index d74f0919e1929f56f413e6e71f34965fff8c3622..3acabc30a94507aaa82475228f33b30991dadc95 100644 (file)
@@ -1,15 +1,13 @@
 <?php
-/* make sure that we are not called from outside the scripts, 
+/* 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;
 
-/* distroy the session */
+/* to log a player out, all we need to do is to distroy the session */
 session_unset();
 session_destroy();
 $_SESSION = array();
-    
-echo "<div class=\"message\"><span class=\"bigger\">You are now logged out!</span><br />\n".
-"(<a href=\"$INDEX\">This will take you back to the home-page</a>)</div>";
+
 ?>
\ No newline at end of file