diff --git a/dlg/utils.py b/dlg/utils.py index 384f3cd2e..6c20e1cef 100644 --- a/dlg/utils.py +++ b/dlg/utils.py @@ -380,7 +380,9 @@ def terminate_or_kill(proc, timeout): the given timeout. If the process is still alive after the timeout it is killed. """ - if proc.poll() is not None: + ecode = proc.poll() + if ecode is not None: + logger.info("Process %d already exited with code %d", proc.pid, ecode) return logger.info('Terminating %d', proc.pid) proc.terminate()