StreamCapturer should die if main process crashes.

pull/37/head
Thomas Kluyver 13 years ago
parent 5e4d0fb0e2
commit 1c9386b6d6

@ -359,6 +359,7 @@ class ExclusionPlugin(Plugin):
class StreamCapturer(Thread):
daemon = True # Don't hang if main thread crashes
started = False
def __init__(self):
super(StreamCapturer, self).__init__()

Loading…
Cancel
Save