handle EOF

This commit is contained in:
Vitor Santos Costa 2016-07-31 09:54:07 -05:00
parent 63b985c452
commit 5f2964cce6

View File

@ -63,11 +63,11 @@ static Int rl_to_codes(Term TEnd, int do_as_binary, int arity USES_REGS) {
do { do {
ch = st->stream_wgetc_for_read(sno); ch = st->stream_wgetc_for_read(sno);
if (ch < 127) { if (ch < 127) {
*pt++ = ch;
if (ch < 0) { if (ch < 0) {
ch = '\n'; break;
pt[-1] = '\n'; }
} *pt++ = ch;
} else { } else {
pt += get_utf8(pt, 4, &ch); pt += get_utf8(pt, 4, &ch);
if (pt + 4 == buf + buf_sz) if (pt + 4 == buf + buf_sz)
@ -154,11 +154,10 @@ static Int read_line_to_string(USES_REGS1) {
do { do {
ch = st->stream_wgetc_for_read(sno); ch = st->stream_wgetc_for_read(sno);
if (ch < 127) { if (ch < 127) {
*pt++ = ch;
if (ch < 0) { if (ch < 0) {
ch = '\n'; break;
pt[-1] = '\n';
} }
*pt++ = ch;
} else { } else {
pt += get_utf8(pt, 4, &ch); pt += get_utf8(pt, 4, &ch);
if (pt + 4 == buf + buf_sz) if (pt + 4 == buf + buf_sz)