##// 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 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