Don't lose the session history if an EnvironmentError occurs.

Trundle · Trundle · commit 3182d0852653 · 2011-05-31T21:01:06.000+02:00
Patch by Sebastian Ramacher. Closes issue #183.
diff --git a/bpython/repl.py b/bpython/repl.py
@@ -748,6 +748,7 @@ def push(self, s, insert_into_history=True):
         if insert_into_history:
             if self.config.hist_length:
                 histfilename = os.path.expanduser(self.config.hist_file)
+                oldhistory = self.rl_history.entries
                 self.rl_history.entries = []
                 if os.path.exists(histfilename):
                     self.rl_history.load(histfilename, getpreferredencoding())
@@ -756,6 +757,8 @@ def push(self, s, insert_into_history=True):
                     self.rl_history.save(histfilename, getpreferredencoding(), self.config.hist_length)
                 except EnvironmentError, err:
                     self.interact.notify("Error occured while writing to file %s (%s) " % (histfilename, err.strerror))
+                    self.rl_history.entries = oldhistory
+                    self.rl_history.append(s)
             else:
                 self.rl_history.append(s)
 
