From f4fa69075e47bc0865c307da17211e273f1cb197 Mon Sep 17 00:00:00 2001 From: David Wilson Date: Thu, 11 Aug 2016 15:21:09 +0100 Subject: [PATCH] Remove unused signal.signal(). --- econtext/core.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/econtext/core.py b/econtext/core.py index 62f6c588..1021bb07 100644 --- a/econtext/core.py +++ b/econtext/core.py @@ -728,9 +728,7 @@ class ExternalContext(object): self._SetupImporter() self._SetupStdio() - # signal.signal(signal.SIGINT, lambda *_: self.broker.Finalize()) self.broker.Register(self.context) - self._DispatchCalls() self.broker.Wait() LOG.debug('ExternalContext.main() exitting')