| commit | 3173f7c904c057f22642d570a4be2694cacd5b15 | [log] [tgz] |
|---|---|---|
| author | Serhiy Storchaka <storchaka@gmail.com> | Sat Feb 21 00:34:20 2015 +0200 |
| committer | Serhiy Storchaka <storchaka@gmail.com> | Sat Feb 21 00:34:20 2015 +0200 |
| tree | 8e0d609a0fa5d24d18c2cb258468b2acad420653 | |
| parent | dc9d41d71820b255ba21683578aac7c9129cf0ce [diff] |
Issue #5700: io.FileIO() called flush() after closing the file. flush() was not called in close() if closefd=False.