##// END OF EJS Templates
Provide a name of the HistorySavingThread...
Jonah Graham -
Show More
@@ -713,7 +713,7 b' 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