-<?
+<?php
/**
** prefs.php
**
** This contains functions for manipulating user preferences
+ **
+ ** $Id$
**/
+ if (defined('prefs_php'))
+ return;
+ define('prefs_php', true);
+
+ global $prefs_are_cached, $prefs_cache;
+ if (!session_is_registered('prefs_are_cached')) {
+ $prefs_are_cached = false;
+ $prefs_cache = array();
+ }
+
+ function cachePrefValues($data_dir, $username) {
+ global $prefs_are_cached, $prefs_cache;
+
+ if ($prefs_are_cached)
+ return;
+
+ $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);
+ exit;
+ }
+
+ $file = fopen($filename, "r");
+
+ /** read in all 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);
+
+ session_unregister('prefs_cache');
+ session_register('prefs_cache');
+
+ $prefs_are_cached = true;
+ session_unregister('prefs_are_cached');
+ session_register('prefs_are_cached');
+ }
+
+
/** returns the value for $string **/
- function getPref($username, $string) {
- $filename = "../data/$username.pref";
- if (!file_exists($filename)) {
- echo "Preference file \"$filename\" not found. Exiting abnormally";
- exit;
- }
+ function getPref($data_dir, $username, $string) {
+ global $prefs_cache;
+
+ cachePrefValues($data_dir, $username);
+
+ if (isset($prefs_cache[$string]))
+ return $prefs_cache[$string];
+ return '';
+ }
- $file = fopen($filename, "r");
- /** read in all the preferences **/
- for ($i=0; !feof($file); $i++) {
- $pref = fgets($file, 1024);
- if (substr($pref, 0, strpos($pref, "=")) == $string) {
- fclose($file);
- return trim(substr($pref, strpos($pref, "=")+1));
- }
+ function savePrefValues($data_dir, $username) {
+ global $prefs_cache;
+
+ $file = fopen($data_dir . $username . '.pref', "w");
+ foreach ($prefs_cache as $Key => $Value) {
+ if (isset($Value)) {
+ fwrite($file, $Key . '=' . $Value . "\n");
+ }
}
fclose($file);
- return "";
}
+
+ 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);
+ }
+
/** sets the pref, $string, to $set_to **/
- function setPref($username, $string, $set_to) {
- $filename = "../data/$username.pref";
- $found = false;
+ function setPref($data_dir, $username, $string, $set_to) {
+ global $prefs_cache;
+
+ cachePrefValues($data_dir, $username);
+ $prefs_cache[$string] = $set_to;
+ savePrefValues($data_dir, $username);
+ }
+
+
+ /** This checks if there is a pref file, if there isn't, it will
+ create it. **/
+ function checkForPrefs($data_dir, $username) {
+ $filename = "$data_dir$username.pref";
if (!file_exists($filename)) {
- echo "Preference file, $filename, does not exist. Log out, and log back in to create a default preference file.<BR>";
- exit;
- }
- $file = fopen($filename, "r");
-
- /** read in all the preferences **/
- for ($i=0; !feof($file); $i++) {
- $pref[$i] = fgets($file, 1024);
- if (substr($pref[$i], 0, strpos($pref[$i], "=")) == $string) {
- $found = true;
- $pos = $i;
+ if (!copy("$data_dir" . "default_pref", $filename)) {
+ echo _("Error opening ") ."$filename";
+ exit;
}
}
- fclose($file);
+ }
- $file = fopen($filename, "w");
- if ($found == true) {
- for ($i=0; $i < count($pref); $i++) {
- if ($i == $pos) {
- fwrite($file, "$string=$set_to\n", 1024);
- } else {
- fwrite($file, "$pref[$i]", 1024);
- }
- }
- } else {
- for ($i=0; $i < count($pref); $i++) {
- fwrite($file, "$pref[$i]", 1024);
- }
- fwrite($file, "$string=$set_to\n", 1024);
- }
+ /** Writes the Signature **/
+ function setSig($data_dir, $username, $string) {
+ $filename = "$data_dir$username.sig";
+ $file = fopen($filename, "w");
+ fwrite($file, $string);
fclose($file);
}
- /** This checks if there is a pref file, if there isn't, it will create it. **/
- function checkForPrefs($username) {
- $filename = "../data/$username.pref";
- if (!file_exists($filename)) {
- if (!copy("../data/default_pref", $filename)) {
- echo "Error opening $filename";
- exit;
+
+
+ /** Gets the signature **/
+ function getSig($data_dir, $username) {
+ $filename = "$data_dir$username.sig";
+ $sig = "";
+ if (file_exists($filename)) {
+ $file = fopen($filename, "r");
+ while (!feof($file)) {
+ $sig .= fgets($file, 1024);
}
+ fclose($file);
}
- return;
+ return $sig;
}
-?>
\ No newline at end of file
+?>