Source file f.flush() after writing; trying to avoid lossage if user
kills GUI. Report from B. Sherwood. Backport to 2.3.4.
diff --git a/Lib/idlelib/IOBinding.py b/Lib/idlelib/IOBinding.py
index ce1fd2a..deeb5c5 100644
--- a/Lib/idlelib/IOBinding.py
+++ b/Lib/idlelib/IOBinding.py
@@ -377,6 +377,7 @@
try:
f = open(filename, "wb")
f.write(chars)
+ f.flush()
f.close()
return True
except IOError, msg:
diff --git a/Lib/idlelib/NEWS.txt b/Lib/idlelib/NEWS.txt
index bbe9878..31bc19b 100644
--- a/Lib/idlelib/NEWS.txt
+++ b/Lib/idlelib/NEWS.txt
@@ -3,6 +3,9 @@
*Release date: XX-XXX-2006*
+- Source file f.flush() after writing; trying to avoid lossage if user
+ kills GUI.
+
- Options / Keys / Advanced dialog made functional. Also, allow binding
of 'movement' keys.
@@ -70,7 +73,7 @@
- Improve error handling when .idlerc can't be created (warn and exit).
-- The GUI was hanging if the shell window was closed while a raw_input()
+- The GUI was hanging if the shell window was closed while a raw_input()
was pending. Restored the quit() of the readline() mainloop().
http://mail.python.org/pipermail/idle-dev/2004-December/002307.html