Overridden by HistoryManager to dump the cache before certain database lookups.
(self)
| 268 | self._corrupt_db_counter = 0 |
| 269 | |
| 270 | def writeout_cache(self): |
| 271 | """Overridden by HistoryManager to dump the cache before certain |
| 272 | database lookups.""" |
| 273 | pass |
| 274 | |
| 275 | ## ------------------------------- |
| 276 | ## Methods for retrieving history: |