##// 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 361 class StreamCapturer(Thread):
362 daemon = True # Don't hang if main thread crashes
362 363 started = False
363 364 def __init__(self):
364 365 super(StreamCapturer, self).__init__()
General Comments 0
You need to be logged in to leave comments. Login now