|
@@ -0,0 +1,75 @@
|
|
|
+<?
|
|
|
+ /**
|
|
|
+ ** prefs.php
|
|
|
+ **
|
|
|
+ ** This contains functions for manipulating user preferences
|
|
|
+ **/
|
|
|
+
|
|
|
+ /** returns the value for $string **/
|
|
|
+ function getPref($username, $string) {
|
|
|
+ $filename = "../data/$username.pref";
|
|
|
+ $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 substr($pref, strpos($pref, "=")+1);
|
|
|
+ }
|
|
|
+ }
|
|
|
+ fclose($file);
|
|
|
+ return "";
|
|
|
+ }
|
|
|
+
|
|
|
+ /** sets the pref, $string, to $set_to **/
|
|
|
+ function setPref($username, $string, $set_to) {
|
|
|
+ $filename = "../data/$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>";
|
|
|
+ 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;
|
|
|
+ }
|
|
|
+ }
|
|
|
+ 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);
|
|
|
+ }
|
|
|
+
|
|
|
+ fclose($file);
|
|
|
+ }
|
|
|
+
|
|
|
+ /** This checks if there is a pref file, if there isn't, it will create it. **/
|
|
|
+ function checkForPrefs($username) {
|
|
|
+ $filename = "../data/default_pref";
|
|
|
+ if (!file_exists($filename)) {
|
|
|
+ if (!copy("../config/default.pref", $filename)) {
|
|
|
+ echo "Error opening $filename";
|
|
|
+ exit;
|
|
|
+ }
|
|
|
+ }
|
|
|
+ return;
|
|
|
+ }
|
|
|
+?>
|