Exception handling for file IO events while saving history.

amjith · amjith · commit 8c5b02af107c · 2011-04-28T21:19:04.000-04:00
diff --git a/bpython/repl.py b/bpython/repl.py
@@ -751,7 +751,10 @@ def push(self, s, insert_into_history=True):
             if os.path.exists(histfilename):
                 self.rl_history.load(histfilename, getpreferredencoding())
             self.rl_history.append(s)
-            self.rl_history.save(histfilename, getpreferredencoding(), self.config.hist_length)
+            try:
+                self.rl_history.save(histfilename, getpreferredencoding(), self.config.hist_length)
+            except EnvironmentError as (errno, strerr):
+                self.interact.notify("Write error for file: %s. %s " % (histfilename, strerr))
 
         more = self.interp.runsource('\n'.join(self.buffer))
 
