Re: [Python-Dev] Destructors and Closing of File Objects