f66f863780019f64a159423ef8a7571928e798de
5 ** This contains functions for manipulating user preferences
8 /** returns the value for $string **/
9 function getPref($data_dir, $username, $string) {
10 $filename = "$data_dir$username.pref";
11 if (!file_exists($filename)) {
12 echo "Preference file \"$filename\" not found. Exiting abnormally";
16 $file = fopen($filename, "r");
18 /** read in all the preferences **/
19 for ($i=0; !feof($file); $i++
) {
20 $pref = fgets($file, 1024);
21 if (substr($pref, 0, strpos($pref, "=")) == $string) {
23 return trim(substr($pref, strpos($pref, "=")+
1));
30 /** sets the pref, $string, to $set_to **/
31 function setPref($data_dir, $username, $string, $set_to) {
32 $filename = "$data_dir$username.pref";
34 if (!file_exists($filename)) {
35 echo "Preference file, $filename, does not exist. Log out, and log back in to create a default preference file.<BR>";
38 $file = fopen($filename, "r");
40 /** read in all the preferences **/
41 for ($i=0; !feof($file); $i++
) {
42 $pref[$i] = fgets($file, 1024);
43 if (substr($pref[$i], 0, strpos($pref[$i], "=")) == $string) {
50 $file = fopen($filename, "w");
52 for ($i=0; $i < count($pref); $i++
) {
54 fwrite($file, "$string=$set_to\n", 1024);
56 fwrite($file, "$pref[$i]", 1024);
60 for ($i=0; $i < count($pref); $i++
) {
61 fwrite($file, "$pref[$i]", 1024);
63 fwrite($file, "$string=$set_to\n", 1024);
69 /** This checks if there is a pref file, if there isn't, it will create it. **/
70 function checkForPrefs($data_dir, $username) {
71 $filename = "$data_dir$username.pref";
72 if (!file_exists($filename)) {
73 if (!copy("$data_dir" . "default_pref", $filename)) {
74 echo "Error opening $filename";