Message209228
Let me be more precise:
My suggestion is not to remove `unconsumed_tail` entirely, but I think its value needs to be defined only when the end of the compressed stream has been reached.
In other words, you could still do:
while not decomp.eof
# ...
if decomp.unconsumed_tail:
raise RuntimeError('unexpected data after end of compressed stream')
but as long as decomp.eof is True, decomp.unconsumed_tail could (as far as I can tell) be None, no matter if there is uncompressed data in the internal buffer or not. |
|
Date |
User |
Action |
Args |
2014-01-25 18:46:13 | nikratio | set | recipients:
+ nikratio, pitrou, christian.heimes, nadeem.vawda, eric.araujo, Arfrever, martin.panter, serhiy.storchaka |
2014-01-25 18:46:13 | nikratio | set | messageid: <1390675573.21.0.203845624694.issue15955@psf.upfronthosting.co.za> |
2014-01-25 18:46:13 | nikratio | link | issue15955 messages |
2014-01-25 18:46:13 | nikratio | create | |
|