65b14f90 |
1 | <? |
2 | /** |
3 | ** prefs.php |
4 | ** |
5 | ** This contains functions for manipulating user preferences |
6 | **/ |
7 | |
8 | /** returns the value for $string **/ |
9 | function getPref($username, $string) { |
10 | $filename = "../data/$username.pref"; |
11 | $file = fopen($filename, "r"); |
12 | |
13 | /** read in all the preferences **/ |
14 | for ($i=0; !feof($file); $i++) { |
15 | $pref = fgets($file, 1024); |
16 | if (substr($pref, 0, strpos($pref, "=")) == $string) { |
17 | fclose($file); |
18 | return substr($pref, strpos($pref, "=")+1); |
19 | } |
20 | } |
21 | fclose($file); |
22 | return ""; |
23 | } |
24 | |
25 | /** sets the pref, $string, to $set_to **/ |
26 | function setPref($username, $string, $set_to) { |
27 | $filename = "../data/$username.pref"; |
28 | $found = false; |
29 | if (!file_exists($filename)) { |
30 | echo "Preference file, $filename, does not exist. Log out, and log back in to create a default preference file.<BR>"; |
31 | exit; |
32 | } |
33 | $file = fopen($filename, "r"); |
34 | |
35 | /** read in all the preferences **/ |
36 | for ($i=0; !feof($file); $i++) { |
37 | $pref[$i] = fgets($file, 1024); |
38 | if (substr($pref[$i], 0, strpos($pref[$i], "=")) == $string) { |
39 | $found = true; |
40 | $pos = $i; |
41 | } |
42 | } |
43 | fclose($file); |
44 | |
45 | $file = fopen($filename, "w"); |
46 | if ($found == true) { |
47 | for ($i=0; $i < count($pref); $i++) { |
48 | if ($i == $pos) { |
49 | fwrite($file, "$string=$set_to\n", 1024); |
50 | } else { |
51 | fwrite($file, "$pref[$i]", 1024); |
52 | } |
53 | } |
54 | } else { |
55 | for ($i=0; $i < count($pref); $i++) { |
56 | fwrite($file, "$pref[$i]", 1024); |
57 | } |
58 | fwrite($file, "$string=$set_to\n", 1024); |
59 | } |
60 | |
61 | fclose($file); |
62 | } |
63 | |
64 | /** This checks if there is a pref file, if there isn't, it will create it. **/ |
65 | function checkForPrefs($username) { |
99259b46 |
66 | $filename = "../data/$username.pref"; |
65b14f90 |
67 | if (!file_exists($filename)) { |
99259b46 |
68 | if (!copy("../data/default_pref", $filename)) { |
65b14f90 |
69 | echo "Error opening $filename"; |
70 | exit; |
71 | } |
72 | } |
73 | return; |
74 | } |
75 | ?> |