migration.py
branchstable
changeset 8108 91868ec92391
parent 8107 e5858a4a1244
child 8119 29cdde6bb9ef
--- a/migration.py	Mon Dec 05 14:31:41 2011 +0100
+++ b/migration.py	Mon Dec 05 14:31:43 2011 +0100
@@ -269,7 +269,10 @@
         def unicode_raw_input(prompt):
             return unicode(raw_input(prompt), sys.stdin.encoding)
         interact(banner, readfunc=unicode_raw_input, local=local_ctx)
-        readline.write_history_file(histfile)
+        try:
+            readline.write_history_file(histfile)
+        except IOError:
+            pass
         # delete instance's confirm attribute to avoid questions
         del self.confirm
         self.need_wrap = True