-<?
+<?php
/**
** prefs.php
**
** This contains functions for manipulating user preferences
**/
+ $prefs_php = true;
+
/** returns the value for $string **/
function getPref($data_dir, $username, $string) {
$filename = "$data_dir$username.pref";
if (!file_exists($filename)) {
- echo "Preference file \"$filename\" not found. Exiting abnormally";
+ printf (_("Preference file %s not found. Exiting abnormally"), $filename);
exit;
}
return "";
}
+ function removePref($data_dir, $username, $string) {
+ $filename = "$data_dir$username.pref";
+ $found = false;
+ if (!file_exists($filename)) {
+ printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
+ echo "<br>\n";
+ exit;
+ }
+ $file = fopen($filename, "r");
+
+ for ($i=0; !feof($file); $i++) {
+ $pref[$i] = fgets($file, 1024);
+ if (substr($pref[$i], 0, strpos($pref[$i], "=")) == $string) {
+ $i--;
+ }
+ }
+ fclose($file);
+
+ for ($i=0,$j=0; $i < count($pref); $i++) {
+ if (substr($pref[$i], 0, 9) == "highlight") {
+ $hlt[$j] = substr($pref[$i], strpos($pref[$i], "=")+1);
+ $j++;
+ }
+ }
+
+ $file = fopen($filename, "w");
+ for ($i=0; $i < count($pref); $i++) {
+ if (substr($pref[$i], 0, 9) != "highlight") {
+ fwrite($file, "$pref[$i]", 1024);
+ }
+ }
+ for ($i=0; $i < count($hlt); $i++) {
+ fwrite($file, "highlight$i=$hlt[$i]");
+ }
+
+ fclose($file);
+ }
+
/** sets the pref, $string, to $set_to **/
function setPref($data_dir, $username, $string, $set_to) {
$filename = "$data_dir$username.pref";
$found = false;
if (!file_exists($filename)) {
- echo "Preference file, $filename, does not exist. Log out, and log back in to create a default preference file.<BR>";
+ printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
+ echo "\n<br>\n";
exit;
}
$file = fopen($filename, "r");
- /** This checks if there is a pref file, if there isn't, it will create it. **/
+ /** 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)) {
if (!copy("$data_dir" . "default_pref", $filename)) {
- echo "Error opening $filename";
+ echo _("Error opening ") ."$filename";
exit;
}
}
- return;
}
$filename = "$data_dir$username.sig";
if (file_exists($filename)) {
$file = fopen($filename, "r");
+ $sig = "";
while (!feof($file)) {
$sig .= fgets($file, 1024);
}
fclose($file);
- } else {
- echo "Signature file not found.";
- exit;
}
return $sig;
}
-?>
\ No newline at end of file
+?>