<?php
function killsession()
{
// start the session, if started before, comment
session_start();
// Unset all of the session variables.
$_SESSION = array();
// destroy the session, and not just the session data!
if (ini_get("session.use_cookies")) {
$params = session_get_cookie_params();
setcookie(session_name(), '', time() - 42000,
$params["path"], $params["domain"],
$params["secure"], $params["httponly"]
);
}
// destroy the session.
session_destroy();
// direct user
header("Location: index.php");
}
/* ------------------------------ *
TESTING
* ------------------------------ */
session_start();
$_SESSION['userid']=25;
$_SESSION['userName']='Super BuBu';
print_r($_SESSION);
killsession();
print_r($_SESSION);
?>