Message237529
> A context manager here would seem a bit strange.
I still haven't thought this through, but I can't see any problem with it right now. This would be similar to:
from contextlib import closing
with closing(MyHTMLParser()) as parser:
parser.feed(html)
and this already seems to work fine, including with OP's case.
> If an exception is raised inside the context manager,
> should close() be called (like for file objects), or not?
The parser is guaranteed to never raise parsing-related errors during parsing, so this shouldn't be an issue. I will open a new issue after fixing this so we can keep discussing there. |
|
Date |
User |
Action |
Args |
2015-03-08 11:32:12 | ezio.melotti | set | recipients:
+ ezio.melotti, r.david.murray, docs@python, martin.panter, serhiy.storchaka, xkjq |
2015-03-08 11:32:12 | ezio.melotti | set | messageid: <1425814332.48.0.816905940079.issue23144@psf.upfronthosting.co.za> |
2015-03-08 11:32:12 | ezio.melotti | link | issue23144 messages |
2015-03-08 11:32:12 | ezio.melotti | create | |
|