commit | 6599fb0917704247f72b3338e622ebcbb94ba207 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Tue Dec 09 14:18:33 1997 +0000 |
committer | Guido van Rossum <guido@python.org> | Tue Dec 09 14:18:33 1997 +0000 |
tree | 4b547af712c7903c666a17f19e112342bdc93572 | |
parent | 19b55f2d17d2a189f9b48844c06d501f25ca6dc5 [diff] |
Make close(), and hence __del__(), robust in the light of the world being destroyed already.