if(!isset($_SESSION['userAgent']) || $reload)
$_SESSION['userAgent'] = $_SERVER['HTTP_USER_AGENT'];
+ $session_values = $_SESSION;
+
// Set current session to expire in 10 seconds
$_SESSION['OBSOLETE'] = true;
$_SESSION['EXPIRES'] = time() + 10;
session_id($newSession);
session_start();
- // Don't want this one to expire
- unset($_SESSION['OBSOLETE']);
- unset($_SESSION['EXPIRES']);
+ $_SESSION = $session_values;
}
function check_session()