Message125230
By design, readlines() only recognizes those characters which are official line separators on various OSes (\n, \r, \r\n). This is important for proper parsing of log files, internet protocols, etc.
If you want to split on all line separators recognized by the unicode spec, use str.splitlines(). |
|
Date |
User |
Action |
Args |
2011-01-03 20:22:04 | pitrou | set | recipients:
+ pitrou, lemburg, nyamatongwe, vstinner, benjamin.peterson, jfinkels |
2011-01-03 20:22:04 | pitrou | set | messageid: <1294086124.41.0.531834982864.issue6664@psf.upfronthosting.co.za> |
2011-01-03 20:22:01 | pitrou | link | issue6664 messages |
2011-01-03 20:22:01 | pitrou | create | |
|