Show More
@@ -775,6 +775,7 b' class HistorySavingThread(threading.Thread):' | |||
|
775 | 775 | while True: |
|
776 | 776 | self.history_manager.save_flag.wait() |
|
777 | 777 | if self.stop_now: |
|
778 | self.db.close() | |
|
778 | 779 | return |
|
779 | 780 | self.history_manager.save_flag.clear() |
|
780 | 781 | self.history_manager.writeout_cache(self.db) |
@@ -136,6 +136,8 b' def test_history():' | |||
|
136 | 136 | finally: |
|
137 | 137 | # Ensure saving thread is shut down before we try to clean up the files |
|
138 | 138 | ip.history_manager.save_thread.stop() |
|
139 | # Forcibly close database rather than relying on garbage collection | |
|
140 | ip.history_manager.db.close() | |
|
139 | 141 | # Restore history manager |
|
140 | 142 | ip.history_manager = hist_manager_ori |
|
141 | 143 |
General Comments 0
You need to be logged in to leave comments.
Login now