##// END OF EJS Templates
Add comment for save_flag trait.
Thomas Kluyver -
Show More
@@ -80,6 +80,7 b' class HistoryManager(Configurable):'
80 80
81 81 # History saving in separate thread
82 82 save_thread = Instance('IPython.core.history.HistorySavingThread')
83 # N.B. Event is a function returning an instance of _Event.
83 84 save_flag = Instance(threading._Event)
84 85
85 86 # Private interface
General Comments 0
You need to be logged in to leave comments. Login now