Distinguish interrupt indication from linenoise.

* parser.c (repl): If linenoise returns a null pointer,
but the last error is lino_eof, print "** intr" message and
continue; do not quit.

1 files changed, 6 insertions, 2 deletions

diff --git a/parser.c b/parser.c
index f346c69c..c682f100 100644
--- a/parser.c
+++ b/parser.c
@@ -509,8 +509,12 @@ val repl(val bindings, val in_stream, val out_stream)
     free (prompt_u8);
     prompt_u8 = 0;
 
-    if (line_u8 == 0)
-      break;
+    if (line_u8 == 0) {
+      if (lino_get_error(ls) == lino_eof)
+        break;
+      put_line(lit("** intr"), out_stream);
+      continue;
+    }
 
     if (strspn(line_u8, " \t") == strlen(line_u8))
       continue;