alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltlcheck: use kill instead of killpg

Browse source 
kill(-x,y) is more portable than killpg(x,y)

* src/bin/ltlcheck.cc: Use kill.
This commit is contained in:
Alexandre Duret-Lutz 2012-10-14 09:12:06 +02:00
parent a62a04670c
commit e46ae2799f
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/bin/ltlcheck.cc
View file

@ -269,7 +269,7 @@ sig_handler(int sig)
if (--alarm_on) if (--alarm_on)
{ {
// Send SIGTERM to children. // Send SIGTERM to children.
killpg(child_pid, SIGTERM); kill(-child_pid, SIGTERM);
// Try again later if it didn't work. (alarm() will be reset // Try again later if it didn't work. (alarm() will be reset
// if it did work and the call to wait() returns) // if it did work and the call to wait() returns)
alarm(2); alarm(2);
@ -277,13 +277,13 @@ sig_handler(int sig)
else else
{ {
// After a few gentle tries, really kill that child. // After a few gentle tries, really kill that child.
killpg(child_pid, SIGKILL); kill(-child_pid, SIGKILL);
} }
} }
else else
{ {
// forward signal // forward signal
killpg(child_pid, sig); kill(-child_pid, sig);
signal_received = sig; signal_received = sig;
} }
} }