| commit | 70f05c5d7f0259d056dbb19bc5632c8357fd6998 | [log] [tgz] |
|---|---|---|
| author | Kurt B. Kaiser <kbk@shore.net> | Sun Mar 19 20:40:05 2006 +0000 |
| committer | Kurt B. Kaiser <kbk@shore.net> | Sun Mar 19 20:40:05 2006 +0000 |
| tree | 9a920b8d9b2214a3ca13fa841a5294a4e0bdd7e2 | |
| parent | 8a85ac660b3f467a1d31bfd89ea2321e21baada2 [diff] |
Source file f.flush() after writing; trying to avoid lossage if user kills GUI. Report from B. Sherwood. Backport to 2.3.4.