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