diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2008-07-16 14:20:18 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2008-07-16 14:20:18 +0200 |
commit | 1a6bf40d199a59a03f3f008402e0865fb1b9fc85 (patch) | |
tree | 46667891902e44365ff5cb9d02811a2d46c1d4ad /portato | |
parent | 061a2eb7ddc6e19740561225010b7c202bfdd4d7 (diff) | |
download | portato-1a6bf40d199a59a03f3f008402e0865fb1b9fc85.tar.gz portato-1a6bf40d199a59a03f3f008402e0865fb1b9fc85.tar.bz2 portato-1a6bf40d199a59a03f3f008402e0865fb1b9fc85.zip |
Abort the main process if child dies.
Diffstat (limited to 'portato')
-rw-r--r-- | portato/plistener.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/portato/plistener.py b/portato/plistener.py index 8d35ece..a45a17e 100644 --- a/portato/plistener.py +++ b/portato/plistener.py @@ -56,6 +56,7 @@ class PListener (object): elif data[0] == "close": break except KeyboardInterrupt: + debug("Got KeyboardInterrupt. Aborting.") break self._mem.remove() |