- //* DEBUG: */ echo "UNSET:".$var."=".get_session($var)."<br />\n";
- unset($_SESSION[$var]);
- return session_unregister($var);
- } elseif (("".$value."" != '') && (!isSessionVariableSet($var))) {
+ //* DEBUG: */ logDebugMessage(__FUNCTION__, __LINE__, 'UNSET:' . $var . '=' . getSession($var));
+ unset($GLOBALS['_SESSION'][$var]);
+ if (phpversion() >= '5.3.1') {
+ // session_unregister() is deprecated as of 5.3.1
+ return true;
+ } else {
+ // PHP version < 5.3.1
+ return session_unregister($var);
+ }
+ } elseif (('' . $value . '' != '') && (!isSessionVariableSet($var))) {