define('prefs_php', true);
global $prefs_are_cached, $prefs_cache;
- $prefs_are_cached = false;
- $prefs_cache = array();
+ if (!session_is_registered('prefs_are_cached')) {
+ $prefs_are_cached = false;
+ $prefs_cache = array();
+ }
- function cachePrefValues($data_dir, $username)
- {
+ function cachePrefValues($data_dir, $username) {
global $prefs_are_cached, $prefs_cache;
if ($prefs_are_cached)
$filename = $data_dir . $username . '.pref';
if (!file_exists($filename)) {
- printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
+ printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
exit;
}
$highlight_num = 0;
while (! feof($file)) {
$pref = trim(fgets($file, 1024));
- $equalsAt = strpos($pref, '=');
- if ($equalsAt > 0)
- {
- $Key = substr($pref, 0, $equalsAt);
- $Value = substr($pref, $equalsAt + 1);
- if (substr($Key, 0, 9) == 'highlight')
- {
- $Key = 'highlight' . $highlight_num;
- $highlight_num ++;
+ $equalsAt = strpos($pref, '=');
+ if ($equalsAt > 0) {
+ $Key = substr($pref, 0, $equalsAt);
+ $Value = substr($pref, $equalsAt + 1);
+ if (substr($Key, 0, 9) == 'highlight') {
+ $Key = 'highlight' . $highlight_num;
+ $highlight_num ++;
}
- if ($Value != '')
- $prefs_cache[$Key] = $Value;
- }
+ if ($Value != '') {
+ $prefs_cache[$Key] = $Value;
+ }
+ }
}
fclose($file);
+
+ session_unregister('prefs_cache');
+ session_register('prefs_cache');
$prefs_are_cached = true;
+ session_unregister('prefs_are_cached');
+ session_register('prefs_are_cached');
}
}
- function savePrefValues($data_dir, $username)
- {
+ function savePrefValues($data_dir, $username) {
global $prefs_cache;
$file = fopen($data_dir . $username . '.pref', "w");
- foreach ($prefs_cache as $Key => $Value)
- {
- if (isset($Value))
+ foreach ($prefs_cache as $Key => $Value) {
+ if (isset($Value)) {
fwrite($file, $Key . '=' . $Value . "\n");
+ }
}
fclose($file);
}
cachePrefValues($data_dir, $username);
- if (isset($prefs_cache[$string]))
+ if (isset($prefs_cache[$string])) {
unset($prefs_cache[$string]);
-
+ }
+
savePrefValues($data_dir, $username);
}
global $prefs_cache;
cachePrefValues($data_dir, $username);
-
$prefs_cache[$string] = $set_to;
-
savePrefValues($data_dir, $username);
}