diff options
Diffstat (limited to 'runner')
| -rw-r--r-- | runner/executor.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runner/executor.c b/runner/executor.c index af02c5a8..6463ab96 100644 --- a/runner/executor.c +++ b/runner/executor.c @@ -43,6 +43,9 @@ static void close_watchdogs(struct settings *settings) if (settings && settings->log_level >= LOG_LEVEL_VERBOSE) printf("Closing watchdogs\n"); + if (settings == NULL && watchdogs.num_dogs != 0) + fprintf(stderr, "Closing watchdogs from exit handler!\n"); + for (i = 0; i < watchdogs.num_dogs; i++) { __close_watchdog(watchdogs.fds[i]); } |