diff --git a/collects/web-server/private/mime-types.ss b/collects/web-server/private/mime-types.ss index 79d68543ea..215ff217fd 100644 --- a/collects/web-server/private/mime-types.ss +++ b/collects/web-server/private/mime-types.ss @@ -19,7 +19,7 @@ (with-input-from-file a-path (lambda () (let loop () - (match (read-line) + (match (read-line (current-input-port) 'any) [(? eof-object?) (void)] [(regexp #"^([^\t ]+)[\t ]+(.+)$"