Message276291
Robert: as noted, skipping trailing whitespace would be breaking raw_decode's contract. It is designed to parse a json document and return the position of the last character of that document. If there is then another json document in the stream, parsing the remainder of the stream would skip that whitespace. If it is some other data, then the whitespace should be preserved for whatever is parsing the remainder of the stream (if anything).
In any case that behavior cannot be changed because it would break backward compatibility.
I would not object to rejecting the change, but it does make raw_decode slightly more awkward to use if it does not skip the leading whitespace. So I guess I'm +0.5 on accepting it as is. |
|
Date |
User |
Action |
Args |
2016-09-13 15:24:08 | r.david.murray | set | recipients:
+ r.david.murray, jcea, rbcollins, ezio.melotti, aalien, Bayard Randel |
2016-09-13 15:24:08 | r.david.murray | set | messageid: <1473780248.32.0.704289238459.issue15393@psf.upfronthosting.co.za> |
2016-09-13 15:24:08 | r.david.murray | link | issue15393 messages |
2016-09-13 15:24:08 | r.david.murray | create | |
|