Mercurial Repositories > eric / file diff

diff -r ef0fcefe97f8 -r 48af75c98cfe Helpviewer/History/HistoryManager.py
--- a/Helpviewer/History/HistoryManager.py	Fri Sep 30 19:38:17 2016 +0200
+++ b/Helpviewer/History/HistoryManager.py	Fri Sep 30 19:42:02 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