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");