\n"; exit; } $file = fopen($filename, 'r'); /* Read in the preferences. */ $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 ++; } if ($value != '') { $prefs_cache[$key] = $value; } } } fclose($file); $prefs_are_cached = TRUE; session_register('prefs_cache'); session_register('prefs_are_cached'); } /** * Return the value for the prefernce given by $string. */ function getPref($data_dir, $username, $string, $default = '') { global $prefs_cache; $result = ''; cachePrefValues($data_dir, $username); if (isset($prefs_cache[$string])) { $result = $prefs_cache[$string]; } else { $result = $default; } return ($result); } /** * Save the preferences for this user. */ function savePrefValues($data_dir, $username) { global $prefs_cache; $filename = getHashedFile($username, $data_dir, "$username.pref"); $file = fopen($filename, 'w'); foreach ($prefs_cache as $Key => $Value) { if (isset($Value)) { fwrite($file, $Key . '=' . $Value . "\n"); } } fclose($file); chmod($filename, 0600); } /** * Remove a preference for the current user. */ function removePref($data_dir, $username, $string) { global $prefs_cache; cachePrefValues($data_dir, $username); if (isset($prefs_cache[$string])) { unset($prefs_cache[$string]); } savePrefValues($data_dir, $username); } /** * Set a there preference $string to $value. */ function setPref($data_dir, $username, $string, $value) { global $prefs_cache; cachePrefValues($data_dir, $username); if (isset($prefs_cache[$string]) && ($prefs_cache[$string] == $value)) { return; } if ($value === '') { removePref($data_dir, $username, $string); return; } $prefs_cache[$string] = $value; savePrefValues($data_dir, $username); } /** * Check for a preferences file. If one can not be found, create it. */ function checkForPrefs($data_dir, $username, $filename = '') { /* First, make sure we have the filename. */ if ($filename == '') { $filename = getHashedFile($username, $data_dir, "$username.pref"); } /* Then, check if the file exists. */ if (!@file_exists($filename) ) { /* First, check the $data_dir for the default preference file. */ $default_pref = $data_dir . 'default_pref'; /* If it is not there, check the internal data directory. */ if (!@file_exists($default_pref)) { $default_pref = '../data/default_pref'; } /* Otherwise, report an error. */ if (!file_exists($default_pref)) { echo _("Error opening ") . $default_pref . "
\n"; echo _("Default preference file not found!") . "
\n"; echo _("Please contact your system administrator and report this error.") . "
\n"; exit; } else if (!@copy($default_pref, $filename)) { echo _("Error opening ") . $default_pref . '
'; echo _("Could not create initial preference file!") . "
\n"; $user_data = posix_getpwuid(posix_getuid()); $uid = $user_data['name']; echo $data_dir . ' ' . _("should be writable by user") . ' ' . $uid . "
\n"; echo _("Please contact your system administrator and report this error.") . "
\n"; exit; } } } /** * Write the User Signature. */ function setSig($data_dir, $username, $number, $value) { $filename = getHashedFile($username, $data_dir, "$username.si$number"); $file = fopen($filename, 'w'); fwrite($file, $value); fclose($file); } /** * Get the signature. */ function getSig($data_dir, $username, $number) { #$filename = $data_dir . $username . '.si$number'; $filename = getHashedFile($username, $data_dir, "$username.si$number"); $sig = ''; if (file_exists($filename)) { $file = fopen($filename, 'r'); while (!feof($file)) { $sig .= fgets($file, 1024); } fclose($file); } return $sig; }