diff options
| -rw-r--r-- | scripts/testbed.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/testbed.py b/scripts/testbed.py index b0e6535b..e74eda5f 100644 --- a/scripts/testbed.py +++ b/scripts/testbed.py @@ -259,9 +259,9 @@ def main(): try: for a in db.engines: a.kill_daemons() - for p in (rootd_process, rsyncd_process): + for p,n in ((rootd_process, "rootd"), (rsyncd_process, "rsyncd")): if p is not None: - rpki.log.info("Killing process %d" % p.pid) + rpki.log.info("Killing %n[%d]" % (n, p.pid)) os.kill(p.pid, signal.SIGTERM) except Exception, data: rpki.log.warn("Couldn't clean up daemons (%s), continuing" % data) |