Fixed an issue causing the temporary file created while the web browser history is saved to be left in the temporary area. 6_1_x

Fri, 30 Sep 2016 19:42:02 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 30 Sep 2016 19:42:02 +0200
branch
6_1_x
changeset 5188
48af75c98cfe
parent 5187
ef0fcefe97f8
child 5197
468264f9de9a

Fixed an issue causing the temporary file created while the web browser history is saved to be left in the temporary area.

Helpviewer/History/HistoryManager.py file | annotate | diff | comparison | revisions
--- 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

eric ide

mercurial