Chris Jerdonek <chris.jerdo...@gmail.com> added the comment: Thanks for the interesting background and feedback. I was aware of the __enter__/__exit__ option but not the other information. And yes, I agree on the importance of trying and discussing any API before settling on it. The one I suggested was merely a point of departure. :)
---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue15351> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
