Mercurial Repositories > eric / file diff

diff -r a55cbfbd715e -r 8fa3e3d379d1 Helpviewer/History/HistoryManager.py
--- 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