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

Fri, 30 Sep 2016 19:44:01 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 30 Sep 2016 19:44:01 +0200
changeset 5189
8fa3e3d379d1
parent 5185
a55cbfbd715e
child 5190
65a2234c6789

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
WebBrowser/History/HistoryManager.py file | annotate | diff | comparison | revisions
--- 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
--- a/WebBrowser/History/HistoryManager.py	Fri Sep 30 19:33:35 2016 +0200
+++ b/WebBrowser/History/HistoryManager.py	Fri Sep 30 19:44:01 2016 +0200
@@ -483,6 +483,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