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