##// END OF EJS Templates
Merge pull request #5874 from takluyver/test-hist-close-db...
Thomas Kluyver -
r16776:5f081fc0 merge
parent child Browse files
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