diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 654d246f0..c1c67049a 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -18,6 +18,8 @@
 
 ***********************************************************************/
 
+#include <unistd.h>
+
 #include "base/abc/abc.h"
 #include "mainInt.h"
 
@@ -91,7 +93,13 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
     {
     char * pRetValue;
     fprintf( pAbc->Out, "%s", Prompt );
+    fflush( pAbc->Out );
     pRetValue = fgets( Prompt, 5000, stdin );
+    if ( pRetValue == NULL ) { exit(0); }
+    if ( !isatty( fileno(stdin) ) ) {
+        fputs( Prompt, pAbc->Out );
+        fflush( pAbc->Out );
+    }
     return Prompt;
     }
 #endif