Helpviewer/History/HistoryManager.py

changeset 5189
8fa3e3d379d1
parent 4631
5c1a96925da4
child 5389
9b1c800daff3
--- a/Helpviewer/History/HistoryManager.py	Fri Sep 30 19:33:35 2016 +0200
+++ b/Helpviewer/History/HistoryManager.py	Fri Sep 30 19:44:01 2016 +0200
@@ -505,6 +505,7 @@
                         """<p>Error moving new history file over old one """
                         """(<b>{0}</b>).<br/>Reason: {1}</p>""")
                     .format(historyFile.fileName(), f.errorString()))
+            f.remove()  # get rid of the temporary file
         self.historySaved.emit()
         try:
             self.__lastSavedUrl = self.__history[0].url

eric ide

mercurial