Wed, 30 Dec 2009 17:06:30 +0000
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 |
--- 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