diff options
Diffstat (limited to 'rpkid/testbed.py')
| -rw-r--r-- | rpkid/testbed.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/testbed.py b/rpkid/testbed.py index 7ad20534..3be69ec3 100644 --- a/rpkid/testbed.py +++ b/rpkid/testbed.py @@ -248,6 +248,8 @@ class main(object): if p is not None: rpki.log.info("Killing %s" % n) os.kill(p.pid, signal.SIGTERM) + except rpki.async.ExitNow: + raise except Exception, data: rpki.log.warn("Couldn't clean up daemons (%s), continuing" % data) |