Fixed a bug in the web-browser history manager, that caused the history file to grow without limits.

Wed, 30 Dec 2009 17:06:30 +0000

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Wed, 30 Dec 2009 17:06:30 +0000
changeset 9
911a9f7aef1e
parent 8
0ae9bd4d2993
child 10
529717676149

Fixed a bug in the web-browser history manager, that caused the history file to grow without limits.

Helpviewer/History/HistoryManager.py file | annotate | diff | comparison | revisions
diff -r 0ae9bd4d2993 -r 911a9f7aef1e Helpviewer/History/HistoryManager.py
--- a/Helpviewer/History/HistoryManager.py	Wed Dec 30 16:43:09 2009 +0000
+++ b/Helpviewer/History/HistoryManager.py	Wed Dec 30 17:06:30 2009 +0000
@@ -283,6 +283,7 @@
             itm = self.__history.pop(-1)
             self.__lastSavedUrl = ""
             self.emit(SIGNAL("entryRemoved"), itm)
+        self.__saveTimer.saveIfNeccessary()
         
         if nextTimeout > 0:
             self.__expiredTimer.start(nextTimeout * 1000)
@@ -402,6 +403,7 @@
         if saveAll:
             # use a temporary file when saving everything
             f = QTemporaryFile()
+            f.setAutoRemove(False)
             opened = f.open()
         else:
             f = historyFile

eric ide

mercurial