##// END OF EJS Templates
Fix in preparation for Python 3.3 compatibility....
Thomas Kluyver -
Show More
@@ -75,8 +75,10 b' 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 # N.B. Event is a function returning an instance of _Event.
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