| 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.