Back to \r not being valid whitespace, but make sure that the URL inp…

…ut source properly normalizes line endings.
speced · Jul 19, 2023 · d29f71a · d29f71a
1 parent 248d631
commit d29f71a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bikeshed/InputSource.py b/bikeshed/InputSource.py
@@ -150,7 +150,7 @@ def read(self) -> InputContent:
             # Use the response's Date header, although servers don't always set
             # this according to the last change to the file.
             date = email.utils.parsedate_to_datetime(response.headers["Date"]).date()
-        return InputContent(response.text.splitlines(True), date)
+        return InputContent([x + "\n" for x in response.text.splitlines(False)], date)
 
     def relative(self, relativePath: str) -> UrlInputSource:
         return UrlInputSource(urllib.parse.urljoin(self.sourceName, relativePath))

diff --git a/bikeshed/h/parser.py b/bikeshed/h/parser.py
@@ -1535,7 +1535,7 @@ def isWhitespace(ch: str | int) -> bool:
         cp = ord(ch)
     else:
         cp = ch
-    return cp in (0x9, 0xA, 0xC, 0xD, 0x20)
+    return cp in (0x9, 0xA, 0xC, 0x20)
 
 
 def isControl(ch: str | int) -> bool: