if ($prefs_are_cached) {
return;
}
-
+
+ session_unregister('prefs_cache');
+ session_unregister('prefs_are_cached');
+
/* Calculate the filename for the user's preference file */
$filename = getHashedFile($username, $data_dir, "$username.pref");
}
fclose($file);
- session_unregister('prefs_cache');
session_register('prefs_cache');
-
$prefs_are_cached = true;
- session_unregister('prefs_are_cached');
session_register('prefs_are_cached');
}