change:
php:
<?php
//initialize the session
if (!isset($_SESSION)) {
session_start();
}
// Unset all of the session variables.
$_SESSION = array();
// If it's desired to kill the session, also delete the session cookie.
// Note: This will destroy the session, and not just the session data!
if (isset($_COOKIE[session_name()])) {
setcookie(session_name(), '', time()-42000, '/');
}
// Finally, destroy the session.
session_destroy();//This will also clear the session cookie which forces a new session ID to be generated.
?>
to:
php:
<?php
//initialize the session
if (!isset($_SESSION)) {
@session_start();
}
// Unset all of the session variables.
$_SESSION = array();
// If it's desired to kill the session, also delete the session cookie.
// Note: This will destroy the session, and not just the session data!
if (isset($_COOKIE[session_name()])) {
@setcookie(session_name(), '', time()-42000, '/');
}
// Finally, destroy the session.
@session_destroy();//This will also clear the session cookie which forces a new session ID to be generated.
?>
