diff options
author | van Hauser <vh@thc.org> | 2022-01-30 20:59:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-30 20:59:24 +0100 |
commit | 2d9325aed9bde0630162a5efaac33a2a8f5bb252 (patch) | |
tree | bbb0cf0f8620b71d315dcc449018affd3ea5b33a /src | |
parent | 143c9d175e9357ba548413ee7dcee6a8de23f733 (diff) | |
parent | 53eb5ba2fbfa75e1c008239bf5d54238bfadb148 (diff) | |
download | afl++-2d9325aed9bde0630162a5efaac33a2a8f5bb252.tar.gz |
Merge pull request #1319 from AFLplusplus/dev
push to stable
Diffstat (limited to 'src')
-rw-r--r-- | src/afl-fuzz.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/afl-fuzz.c b/src/afl-fuzz.c index a96dee97..9ef2669a 100644 --- a/src/afl-fuzz.c +++ b/src/afl-fuzz.c @@ -53,9 +53,7 @@ static void at_exit() { ptr = getenv("__AFL_TARGET_PID2"); if (ptr && *ptr && (pid2 = atoi(ptr)) > 0) { -#if defined(__linux__) pgrp = getpgid(pid2); -#endif if (pgrp > 0) { killpg(pgrp, SIGTERM); } kill(pid2, SIGTERM); @@ -64,9 +62,7 @@ static void at_exit() { ptr = getenv("__AFL_TARGET_PID1"); if (ptr && *ptr && (pid1 = atoi(ptr)) > 0) { -#if defined(__linux__) pgrp = getpgid(pid1); -#endif if (pgrp > 0) { killpg(pgrp, SIGTERM); } kill(pid1, SIGTERM); @@ -103,9 +99,7 @@ static void at_exit() { if (pid1 > 0) { -#if defined(__linux__) pgrp = getpgid(pid1); -#endif if (pgrp > 0) { killpg(pgrp, kill_signal); } kill(pid1, kill_signal); @@ -113,9 +107,7 @@ static void at_exit() { if (pid2 > 0) { -#if defined(__linux__) pgrp = getpgid(pid1); -#endif if (pgrp > 0) { killpg(pgrp, kill_signal); } kill(pid2, kill_signal); |