# HG changeset patch
# User jwe
# Date 811142716 0
# Node ID 69d15711b832f0b3f1abc3c03dddbd94c9eb477d
# Parent  6550c74777b95cabf050d98d7b902e0e3782596b
[project @ 1995-09-15 05:25:16 by jwe]

diff --git a/src/input.cc b/src/input.cc
--- a/src/input.cc
+++ b/src/input.cc
@@ -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;