X-Git-Url: https://vcs.fsf.org/?a=blobdiff_plain;f=functions%2Fprefs.php;h=dc4599263eb104feb89beda44fb3093c93e244f1;hb=e7681707b665cbdd5e7c91c3416a3899fa62da8b;hp=558d11b6a7e25e72387e8a86f970c53daffb89ce;hpb=7aaa81fcf8383ee72ee0e4fd3cb2fd8d5f9708b5;p=squirrelmail.git

diff --git a/functions/prefs.php b/functions/prefs.php
index 558d11b6..dc459926 100644
--- a/functions/prefs.php
+++ b/functions/prefs.php
@@ -3,6 +3,8 @@
     **  prefs.php
     **
     **  This contains functions for manipulating user preferences
+    **
+    **  $Id$
     **/
 
    $prefs_php = true;
@@ -11,7 +13,7 @@
    function getPref($data_dir, $username, $string) {
       $filename = "$data_dir$username.pref";
       if (!file_exists($filename)) {
-         echo _("Preference file ") . "\"$filename\"" . _(" not found.  Exiting abnormally");
+	 printf (_("Preference file %s not found. Exiting abnormally"), $filename);
          exit;
       }
 
@@ -33,7 +35,8 @@
       $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>";
+	 printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
+	 echo "<br>\n";
          exit;
       }
       $file = fopen($filename, "r");
@@ -71,7 +74,8 @@
       $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>";
+	 printf (_("Preference file, %s, does not exist. Log out, and log back in to create a default preference file."), $filename);
+	 echo "\n<br>\n";
          exit;
       }
       $file = fopen($filename, "r");