HTMLInputStream.char() is expected to return unicode single-character strings.

tbroyer · tbroyer · commit 33c7903d8cb5 · 2007-06-09T12:30:24.000Z
--HG--
extra : convert_revision : svn%3Aacbfec75-9323-0410-a652-858a13e371e0/trunk%40685
diff --git a/src/inputstream.py b/src/inputstream.py
@@ -185,7 +185,7 @@ def char(self):
                 # record where newlines occur so that the position method
                 # can tell where it is
                 if c == '\n': self.newLines.append(self.tell - 1)
-                return c
+                return unicode(c)
             except:
                 return EOF
 
