##// END OF EJS Templates
Merge pull request #4401 from jonahkichwacoders/name_history_saving_thread...
Thomas Kluyver -
r13127:04230c4b merge
parent child Browse files
Show More
@@ -713,7 +713,7 class HistorySavingThread(threading.Thread):
713 stop_now = False
713 stop_now = False
714 enabled = True
714 enabled = True
715 def __init__(self, history_manager):
715 def __init__(self, history_manager):
716 super(HistorySavingThread, self).__init__()
716 super(HistorySavingThread, self).__init__(name="IPythonHistorySavingThread")
717 self.history_manager = history_manager
717 self.history_manager = history_manager
718 self.enabled = history_manager.enabled
718 self.enabled = history_manager.enabled
719 atexit.register(self.stop)
719 atexit.register(self.stop)
General Comments 0
You need to be logged in to leave comments. Login now