Show More
@@ -514,10 +514,7 b' class HistoryManager(HistoryAccessor):' | |||||
514 | # History saving in separate thread |
|
514 | # History saving in separate thread | |
515 | save_thread = Instance('IPython.core.history.HistorySavingThread', |
|
515 | save_thread = Instance('IPython.core.history.HistorySavingThread', | |
516 | allow_none=True) |
|
516 | allow_none=True) | |
517 | try: # Event is a function returning an instance of _Event... |
|
517 | save_flag = Instance(threading.Event, allow_none=True) | |
518 | save_flag = Instance(threading._Event, allow_none=True) |
|
|||
519 | except AttributeError: # ...until Python 3.3, when it's a class. |
|
|||
520 | save_flag = Instance(threading.Event, allow_none=True) |
|
|||
521 |
|
518 | |||
522 | # Private interface |
|
519 | # Private interface | |
523 | # Variables used to store the three last inputs from the user. On each new |
|
520 | # 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