Message125772
This is not a bug in the implementation: the file object is only closed when you passed a file name to open().
Like other APIs that allow file names or objects to be passed in, it is the caller's responsibility to close the file object if an object was passed.
However, this was not documented. I've fixed that with r87859. |
|
Date |
User |
Action |
Args |
2011-01-08 09:45:58 | georg.brandl | set | recipients:
+ georg.brandl, ned.deily, pjcreath |
2011-01-08 09:45:58 | georg.brandl | set | messageid: <1294479958.52.0.0889688129475.issue10855@psf.upfronthosting.co.za> |
2011-01-08 09:45:53 | georg.brandl | link | issue10855 messages |
2011-01-08 09:45:53 | georg.brandl | create | |
|