** 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");
+ echo _("Preference file ") . "\"$filename\"" . _(" not found. Exiting abnormally");
exit;
}
$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>";
+ 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");
- /** 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)) {