Show More
@@ -75,8 +75,10 class HistoryManager(Configurable): | |||||
75 |
|
75 | |||
76 | # History saving in separate thread |
|
76 | # History saving in separate thread | |
77 | save_thread = Instance('IPython.core.history.HistorySavingThread') |
|
77 | save_thread = Instance('IPython.core.history.HistorySavingThread') | |
78 |
|
|
78 | try: # Event is a function returning an instance of _Event... | |
79 | save_flag = Instance(threading._Event) |
|
79 | save_flag = Instance(threading._Event) | |
|
80 | except AttributeError: # ...until Python 3.3, when it's a class. | |||
|
81 | save_flag = Instance(threading.Event) | |||
80 |
|
82 | |||
81 | # Private interface |
|
83 | # Private interface | |
82 | # Variables used to store the three last inputs from the user. On each new |
|
84 | # Variables used to store the three last inputs from the user. On each new |
General Comments 0
You need to be logged in to leave comments.
Login now