##// END OF EJS Templates
StreamCapturer should die if main process crashes.
Thomas Kluyver -
Show More
@@ -359,6 +359,7 b' class ExclusionPlugin(Plugin):'
359
359
360
360
361 class StreamCapturer(Thread):
361 class StreamCapturer(Thread):
362 daemon = True # Don't hang if main thread crashes
362 started = False
363 started = False
363 def __init__(self):
364 def __init__(self):
364 super(StreamCapturer, self).__init__()
365 super(StreamCapturer, self).__init__()
General Comments 0
You need to be logged in to leave comments. Login now