changeset 1403:69d15711b832

[project @ 1995-09-15 05:25:16 by jwe]
author jwe
date Fri, 15 Sep 1995 05:25:16 +0000
parents 6550c74777b9
children 2bab346e3012
files src/input.cc
diffstat 1 files changed, 8 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/input.cc	Fri Sep 15 04:32:14 1995 +0000
+++ b/src/input.cc	Fri Sep 15 05:25:16 1995 +0000
@@ -444,7 +444,14 @@
     {
       ostrstream buf;
 
-      if (! forced_interactive)
+      if (forced_interactive)
+	{
+	  char *ps = (promptflag > 0) ? user_pref.ps1 : user_pref.ps2;
+	  char *prefix = decode_prompt_string (ps);
+	  buf << prefix;
+	  delete [] prefix;
+	}
+      else
 	{
 	  char *prefix = decode_prompt_string (user_pref.ps4);
 	  buf << prefix;