Message261524
Actually I was a bit hasty in my response last night. NameError indicates that the “open” symbol has been deleted, not just set to None. If you add print(sorted(builtins.__dict__.keys())) inside __exit__() you can verify this is the case.
This contradicts my understanding of the finalization process (symbols being deleted rather than being set to None). Maybe the documentation needs fixing? |
|
Date |
User |
Action |
Args |
2016-03-10 21:39:06 | martin.panter | set | recipients:
+ martin.panter, reidfaiv |
2016-03-10 21:39:06 | martin.panter | set | messageid: <1457645946.66.0.758708730132.issue26528@psf.upfronthosting.co.za> |
2016-03-10 21:39:06 | martin.panter | link | issue26528 messages |
2016-03-10 21:39:06 | martin.panter | create | |
|