diff options
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/executor/common.h b/executor/common.h index fdc35436c..f5f124fef 100644 --- a/executor/common.h +++ b/executor/common.h @@ -546,7 +546,6 @@ static void loop(void) close(kOutPipeFd); #endif execute_one(); - debug("worker exiting\n"); #if SYZ_HAVE_RESET_TEST reset_test(); #endif @@ -596,7 +595,7 @@ static void loop(void) if (current_time_ms() - start < 5 * 1000) continue; #endif - debug("killing\n"); + debug("killing hanging pid %d\n", pid); kill_and_wait(pid, &status); break; } |