diff options
| author | Andrew Dolgov <[email protected]> | 2012-01-30 16:34:45 +0400 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2012-01-30 16:34:45 +0400 |
| commit | 61c1812f29dc76e93107b65dea80fde260269e8d (patch) | |
| tree | b87934bbc3be918590daafe959d149d846892ff7 /include/db-prefs.php | |
| parent | 33f0fdd0a21ca7999e2d9d1a8db438711e518587 (diff) | |
implement preferred time for sending out digests
Diffstat (limited to 'include/db-prefs.php')
| -rw-r--r-- | include/db-prefs.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/db-prefs.php b/include/db-prefs.php index 7ee492009..b62e01a7b 100644 --- a/include/db-prefs.php +++ b/include/db-prefs.php @@ -2,7 +2,7 @@ require_once "config.php"; require_once "db.php"; - if (!defined('DISABLE_SESSIONS')) { + if (!defined('DISABLE_SESSIONS') && !defined('PREFS_NO_CACHE')) { if (!$_SESSION["prefs_cache"]) $_SESSION["prefs_cache"] = array(); } @@ -21,7 +21,7 @@ //$prefs_cache = false; } - if ($prefs_cache && !defined('DISABLE_SESSIONS')) { + if ($prefs_cache && !defined('DISABLE_SESSIONS') && !defined('PREFS_NO_CACHE')) { if ($_SESSION["prefs_cache"] && @$_SESSION["prefs_cache"][$pref_name]) { $tuple = $_SESSION["prefs_cache"][$pref_name]; return convert_pref_type($tuple["value"], $tuple["type"]); @@ -102,7 +102,7 @@ $type_name = ""; $current_value = ""; - if (!defined('DISABLE_SESSIONS')) { + if (!defined('DISABLE_SESSIONS') && !defined('PREFS_NO_CACHE')) { if ($_SESSION["prefs_cache"] && @$_SESSION["prefs_cache"][$pref_name]) { $type_name = $_SESSION["prefs_cache"][$pref_name]["type"]; $current_value = $_SESSION["prefs_cache"][$pref_name]["value"]; |