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