diff options
Diffstat (limited to 'src/afl-tmin.c')
| -rw-r--r-- | src/afl-tmin.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/afl-tmin.c b/src/afl-tmin.c index 694c9c21..e2145c32 100644 --- a/src/afl-tmin.c +++ b/src/afl-tmin.c @@ -113,7 +113,7 @@ static void kill_child() { if (fsrv->child_pid > 0) { - kill(fsrv->child_pid, fsrv->kill_signal); + kill(fsrv->child_pid, fsrv->child_kill_signal); fsrv->child_pid = -1; } @@ -1195,7 +1195,7 @@ int main(int argc, char **argv_orig, char **envp) { } - fsrv->kill_signal = + fsrv->child_kill_signal = parse_afl_kill_signal_env(getenv("AFL_KILL_SIGNAL"), SIGKILL); if (getenv("AFL_CRASH_EXITCODE")) { @@ -1351,4 +1351,3 @@ int main(int argc, char **argv_orig, char **envp) { exit(0); } - |