--- db_prefs.php.orig Tue Feb 24 15:57:15 2004 +++ db_prefs.php Wed Jul 21 11:04:39 2004 @@ -40,7 +40,9 @@ function cachePrefValues($username) { global $prefs_are_cached, $prefs_cache; + sqgetGlobalVar('prefs_are_cached', $prefs_are_cached, SQ_SESSION ); if ($prefs_are_cached) { + sqgetGlobalVar('prefs_cache', $prefs_cache, SQ_SESSION ); return; }