diff options
| -rw-r--r-- | db-prefs.php | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/db-prefs.php b/db-prefs.php index e9aaee304..eeadef892 100644 --- a/db-prefs.php +++ b/db-prefs.php @@ -17,10 +17,12 @@ $user_id = sprintf("%d", $user_id); $prefs_cache = false; } - - if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) { - $tuple = $_SESSION["prefs_cache"][$pref_name]; - return convert_pref_type($tuple["value"], $tuple["type"]); + + if (!defined('DISABLE_SESSIONS')) { + if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) { + $tuple = $_SESSION["prefs_cache"][$pref_name]; + return convert_pref_type($tuple["value"], $tuple["type"]); + } } $result = db_query($link, "SELECT @@ -37,10 +39,13 @@ $value = db_fetch_result($result, 0, "value"); $type_name = db_fetch_result($result, 0, "type_name"); - if ($user_id = $_SESSION["uid"]) { - $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name; - $_SESSION["prefs_cache"][$pref_name]["value"] = $value; + if (!defined('DISABLE_SESSIONS')) { + if ($user_id = $_SESSION["uid"]) { + $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name; + $_SESSION["prefs_cache"][$pref_name]["value"] = $value; + } } + return convert_pref_type($value, $type_name); } else { |