From 98f9956c66380b38eb6325be9d170cb923dae4dd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 18 May 2004 20:23:16 +0000 Subject: [PATCH] . original commit: 9ffb437b8ce3ba91c7f9b90941791370ce049b09 --- collects/mzlib/port.ss | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/mzlib/port.ss b/collects/mzlib/port.ss index d26489e..f6435d5 100644 --- a/collects/mzlib/port.ss +++ b/collects/mzlib/port.ss @@ -615,7 +615,7 @@ [(_ str) (datum->syntax-object #'here (byte-regexp (string->bytes/latin-1 - (format "^(?:(.*?)~a)|(.+?$)" + (format "^(?:(.*?)~a)|(.*?$)" (syntax-e #'str)))))])) (define read-bytes-line-evt @@ -630,7 +630,10 @@ input-port) (lambda (m) (or (cadr m) - (caddr m)))))) + (let ([l (caddr m)]) + (if (and l (zero? (bytes-length l))) + eof + l))))))) (define read-line-evt (opt-lambda (input-port [mode 'linefeed])