From 7598b56c381f9613e487acf5f66f937a6bb8cc4c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Dec 2008 12:44:49 +0000
Subject: [PATCH] fix prompt in silent mode (obs from Tony Wilson)

---
 C/iopreds.c | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/C/iopreds.c b/C/iopreds.c
index 472c03b20..13a9863b4 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -1550,12 +1550,16 @@ ConsoleGetc(int sno)
   int ch;
 
  restart:
+  /* keep the prompt around, just in case, but don't actually
+     show it in silent mode */
   if (newline) {
-    char *cptr = Prompt, ch;
+    if (!yap_flags[QUIET_MODE_FLAG]) {
+      char *cptr = Prompt, ch;
 
-    /* use the default routine */
-    while ((ch = *cptr++) != '\0') {
-      Stream[StdErrStream].stream_putc(StdErrStream, ch);
+      /* use the default routine */
+      while ((ch = *cptr++) != '\0') {
+	Stream[StdErrStream].stream_putc(StdErrStream, ch);
+      }
     }
     strncpy (Prompt, RepAtom (*AtPrompt)->StrOfAE, MAX_PROMPT);
     newline = FALSE;