From 5f2964cce62a05b82600a0fb06b5dc7f7226646a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 31 Jul 2016 09:54:07 -0500
Subject: [PATCH] handle EOF

---
 os/readutil.c | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/os/readutil.c b/os/readutil.c
index c39a81dd8..c72ffeb7d 100644
--- a/os/readutil.c
+++ b/os/readutil.c
@@ -63,11 +63,11 @@ static Int rl_to_codes(Term TEnd, int do_as_binary, int arity USES_REGS) {
       do {
         ch = st->stream_wgetc_for_read(sno);
         if (ch < 127) {
-          *pt++ = ch;
+
           if (ch < 0) {
-              ch = '\n';
-              pt[-1] = '\n';
-         }
+            break;
+          }
+          *pt++ = ch;
         } else {
             pt += get_utf8(pt, 4, &ch);
             if (pt + 4 == buf + buf_sz)
@@ -154,11 +154,10 @@ static Int read_line_to_string(USES_REGS1) {
       do {
          ch = st->stream_wgetc_for_read(sno);
         if (ch < 127) {
-          *pt++ = ch;
           if (ch < 0) {
-            ch = '\n';
-            pt[-1] = '\n';
+            break;
           }
+          *pt++ = ch;
         } else {
           pt += get_utf8(pt, 4, &ch);
           if (pt + 4 == buf + buf_sz)