Show More
@@ -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