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;
