upmerge 12379923 (60907)
This commit is contained in:
commit
810e02edf2
@ -94,7 +94,7 @@ eval {
|
|||||||
local $SIG{INT}= \&handle_signal;
|
local $SIG{INT}= \&handle_signal;
|
||||||
local $SIG{CHLD}= sub {
|
local $SIG{CHLD}= sub {
|
||||||
message("Got signal @_");
|
message("Got signal @_");
|
||||||
kill(9, -$child_pid);
|
kill('KILL', -$child_pid);
|
||||||
my $ret= waitpid($child_pid, 0);
|
my $ret= waitpid($child_pid, 0);
|
||||||
if ($? & 127){
|
if ($? & 127){
|
||||||
exit(65); # Killed by signal
|
exit(65); # Killed by signal
|
||||||
@ -134,7 +134,7 @@ if ( $@ ) {
|
|||||||
# Use negative pid in order to kill the whole
|
# Use negative pid in order to kill the whole
|
||||||
# process group
|
# process group
|
||||||
#
|
#
|
||||||
my $ret= kill(9, -$child_pid);
|
my $ret= kill('KILL', -$child_pid);
|
||||||
message("Killed child: $child_pid, ret: $ret");
|
message("Killed child: $child_pid, ret: $ret");
|
||||||
if ($ret > 0) {
|
if ($ret > 0) {
|
||||||
message("Killed child: $child_pid");
|
message("Killed child: $child_pid");
|
||||||
|
Loading…
x
Reference in New Issue
Block a user