Rev 1 | Blame | Compare with Previous | Last modification | View Log | RSS feed
<?php
include_once("header.php");
session_start();
// kludge to make sure HTML root is prepended to our redirect
$LOGIN_PAGE = $_SERVER['PHP_SELF'];
$_SESSION = array();
if (isset($_COOKIE[session_name()])) {
setcookie(session_name(), '', time() - 42000, '/' );
}
session_destroy;
unset( $_SESSION['user'] );
header( "Location: $LOGIN_PAGE");
?>