diff options
Diffstat (limited to 'Tools/portbuild/scripts/ptimeout.c')
| -rw-r--r-- | Tools/portbuild/scripts/ptimeout.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/ptimeout.c b/Tools/portbuild/scripts/ptimeout.c index 33e9ecc4f3a9..915024ce15df 100644 --- a/Tools/portbuild/scripts/ptimeout.c +++ b/Tools/portbuild/scripts/ptimeout.c @@ -47,7 +47,7 @@ main(int argc, char *argv[]) /*printf("exited child is %d, status is %d\n", child, status);*/ if (pid1 = child) { /*printf("killing process %d\n", pid2);*/ - kill(pid2, SIGTERM); + kill(pid2, SIGKILL); } else { /*printf("killing process %d\n", pid1);*/ kill(pid1, SIGTERM); |