Added the config file back again
[squirrelmail.git] / functions / prefs.php
CommitLineData
65b14f90 1<?
2 /**
3 ** prefs.php
4 **
5 ** This contains functions for manipulating user preferences
6 **/
7
8 /** returns the value for $string **/
d0747e26 9 function getPref($data_dir, $username, $string) {
10 $filename = "$data_dir$username.pref";
3021b626 11 if (!file_exists($filename)) {
12 echo "Preference file \"$filename\" not found. Exiting abnormally";
13 exit;
14 }
15
65b14f90 16 $file = fopen($filename, "r");
17
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) {
22 fclose($file);
d3cdb279 23 return trim(substr($pref, strpos($pref, "=")+1));
65b14f90 24 }
25 }
26 fclose($file);
27 return "";
28 }
29
30 /** sets the pref, $string, to $set_to **/
d0747e26 31 function setPref($data_dir, $username, $string, $set_to) {
32 $filename = "$data_dir$username.pref";
65b14f90 33 $found = false;
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>";
36 exit;
37 }
38 $file = fopen($filename, "r");
39
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) {
44 $found = true;
45 $pos = $i;
46 }
47 }
48 fclose($file);
49
50 $file = fopen($filename, "w");
51 if ($found == true) {
52 for ($i=0; $i < count($pref); $i++) {
53 if ($i == $pos) {
54 fwrite($file, "$string=$set_to\n", 1024);
55 } else {
56 fwrite($file, "$pref[$i]", 1024);
57 }
58 }
59 } else {
60 for ($i=0; $i < count($pref); $i++) {
61 fwrite($file, "$pref[$i]", 1024);
62 }
63 fwrite($file, "$string=$set_to\n", 1024);
64 }
65
66 fclose($file);
67 }
68
69 /** This checks if there is a pref file, if there isn't, it will create it. **/
d0747e26 70 function checkForPrefs($data_dir, $username) {
71 $filename = "$data_dir$username.pref";
65b14f90 72 if (!file_exists($filename)) {
8105d00f 73 if (!copy("$data_dir" . "default_pref", $filename)) {
65b14f90 74 echo "Error opening $filename";
75 exit;
76 }
77 }
78 return;
79 }
80?>