changeset 2113:0ef10ffb18eb

[project @ 1996-05-03 16:06:47 by jwe]
author jwe
date Fri, 03 May 1996 16:06:47 +0000
parents 320f5463c201
children a84f9c1fe38b
files src/user-prefs.cc
diffstat 1 files changed, 3 insertions(+), 27 deletions(-) [+]
line wrap: on
line diff
--- a/src/user-prefs.cc
+++ b/src/user-prefs.cc
@@ -996,15 +996,7 @@
 {
   int status = 0;
 
-  string s = builtin_string_variable ("PS1");
-
-  if (s.empty ())
-    {
-      gripe_invalid_value_specified ("PS1");
-      status = -1;
-    }
-  else
-    user_pref.ps1 = s;
+  user_pref.ps1 = builtin_string_variable ("PS1");
 
   return status;
 }
@@ -1014,15 +1006,7 @@
 {
   int status = 0;
 
-  string s = builtin_string_variable ("PS2");
-
-  if (s.empty ())
-    {
-      gripe_invalid_value_specified ("PS2");
-      status = -1;
-    }
-  else
-    user_pref.ps2 = s;
+  user_pref.ps2 = builtin_string_variable ("PS2");
 
   return status;
 }
@@ -1032,15 +1016,7 @@
 {
   int status = 0;
 
-  string s = builtin_string_variable ("PS4");
-
-  if (s.empty ())
-    {
-      gripe_invalid_value_specified ("PS4");
-      status = -1;
-    }
-  else
-    user_pref.ps4 = s;
+  user_pref.ps4 = builtin_string_variable ("PS4");
 
   return status;
 }