3 Jul
2005
3 Jul
'05
4:04 p.m.
"Phillip J. Eby" pje@telecommunity.com writes:
At 05:41 PM 6/30/2005 -0400, Raymond Hettinger wrote:
With 343 accepted, we can now add __enter__() and __exit__() methods to objects.
What term should describe those objects in the documentation?
Resource managers.
Thing is, there may be no resource; in my talk at EuroPython:
http://starship.python.net/crew/mwh/recexc.pdf
I used a with statement to establish and dis-establish an error handler -- would you call that a resource?
Cheers, mwh
--
The meaning of "brunch" is as yet undefined.
-- Simon Booth, ucam.chat