Message278660
The "compressed stream" is not the underlying file object but _GzipReader. And actually the "at most one single reader" is the characteristic of io.BufferedReader.peek, you can see it in the doc. Maybe it needs multiple reads on the file object in a single peek, but they are all encapsulated in the _GzipReader.read. So at the point of GzipFile.peek, it's still a single read. |
|
Date |
User |
Action |
Args |
2016-10-14 17:46:47 | xiang.zhang | set | recipients:
+ xiang.zhang, abacabadabacaba, docs@python, martin.panter |
2016-10-14 17:46:47 | xiang.zhang | set | messageid: <1476467207.41.0.346252286194.issue28445@psf.upfronthosting.co.za> |
2016-10-14 17:46:47 | xiang.zhang | link | issue28445 messages |
2016-10-14 17:46:47 | xiang.zhang | create | |
|