diff options
Diffstat (limited to 'runner')
| -rw-r--r-- | runner/executor.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/runner/executor.c b/runner/executor.c index cc313dec..39dee8c0 100644 --- a/runner/executor.c +++ b/runner/executor.c @@ -738,7 +738,8 @@ static int monitor_output(pid_t child, } else { /* We're dying, so we're taking them with us */ if (settings->log_level >= LOG_LEVEL_NORMAL) - printf("Abort requested, terminating children\n"); + printf("Abort requested via %s, terminating children\n", + strsignal(siginfo.ssi_signo)); aborting = true; timeout = 2; |