From ca39e113d5d237f239f2334eaa5cab3c8efac979 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Arne=20D=C3=B6ring?= <arne.doering@gmx.net>
Date: Wed, 8 Feb 2017 10:25:57 +0100
Subject: [PATCH] fix in using the linenoise function (#5351)

---
 lib/impure/rdstdin.nim | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/impure/rdstdin.nim b/lib/impure/rdstdin.nim
index f722a6b39a..b06e8de6cb 100644
--- a/lib/impure/rdstdin.nim
+++ b/lib/impure/rdstdin.nim
@@ -116,7 +116,8 @@ else:
                           tags: [ReadIOEffect, WriteIOEffect].} =
     var buffer = linenoise.readLine(prompt)
     if isNil(buffer):
-      raise newException(IOError, "Linenoise returned nil")
+      line.string.setLen(0)
+      return false
     line = TaintedString($buffer)
     if line.string.len > 0:
       historyAdd(buffer)