Message113821
U+0085 corresponds to a line terminator (*). and codecs.open() observes this convention.
Do note that the new io.open() (or the built-in open() in 3.x) only recognizes '\r' and '\n' as line separators.
In any case, changing this behaviour would break compatibility, therefore I'm rejecting the issue.
(*) http://en.wikipedia.org/wiki/Newline#Unicode |
|
Date |
User |
Action |
Args |
2010-08-13 19:37:50 | pitrou | set | recipients:
+ pitrou, ezio.melotti, jcope |
2010-08-13 19:37:50 | pitrou | set | messageid: <1281728270.71.0.328860073154.issue9593@psf.upfronthosting.co.za> |
2010-08-13 19:37:49 | pitrou | link | issue9593 messages |
2010-08-13 19:37:48 | pitrou | create | |
|