function mysql_session_destroy($SID) { $SID = addslashes($SID); $sql = "DELETE FROM l_session WHERE id = '{$SID}'"; mysql_query($sql); unset($_SESSION); sessionStaticInfo(); }
sqlConnect(SQL_CONFIG); require_once "lib/session.php"; // GLOBALS ... $Authenticated = false; $UserName = '******'; $UserID = null; $UserLevel = 'guest'; session_start(); define("SID_FORM", "<input type=\"hidden\" name=\"" . session_name() . "\" value=\"" . session_id() . "\" />"); if (isset($_POST['logout_x']) || isset($_GET['logout_x'])) { session_destroy(); unset($_SESSION); sessionStaticInfo(); } ///////// added here for php5 ? ... menotume 2006/4/15 sessionStaticInfo(); ///////////////// if (isset($_POST['settheme'])) { $theme = $_POST['settheme']; setcookie('themename', $theme, time() + 60 * 60 * 24 * 60, '/'); } else { $theme = $_COOKIE['themename']; } if (!$theme) { $theme = DEFAULT_THEME; } if ($_SESSION['required']) { $_POST['link'] = 'required'; } getSection($phpFile, $phpFunc, $SectionTitle); require_once $phpFile;