From dcd8107699798155611f2c6f8572b07728011ab4 2014-03-24 19:49:55 From: MinRK Date: 2014-03-24 19:49:55 Subject: [PATCH] halt stream capturer after server terminates --- diff --git a/IPython/testing/iptestcontroller.py b/IPython/testing/iptestcontroller.py index 76fc151..caca24e 100644 --- a/IPython/testing/iptestcontroller.py +++ b/IPython/testing/iptestcontroller.py @@ -273,13 +273,13 @@ class JSController(TestController): self.server_port = info['port'] def cleanup(self): - self.stream_capturer.halt() try: self.server.terminate() except OSError: # already dead pass self.server.wait() + self.stream_capturer.halt() TestController.cleanup(self)