X-Git-Url: http://rtime.felk.cvut.cz/gitweb/can-benchmark.git/blobdiff_plain/ae829d30657a177845d8a5555218bc39dd52003a..3a74f1734698b98d56c4cd36b817f7d9e5074ea7:/continuous/gw-setup/run.pl diff --git a/continuous/gw-setup/run.pl b/continuous/gw-setup/run.pl index f594fad..47997d4 100755 --- a/continuous/gw-setup/run.pl +++ b/continuous/gw-setup/run.pl @@ -47,6 +47,10 @@ sub run_boot() my $bootcmd = scalar @ARGV ? "'".join("' '", @ARGV)."'" : "$FindBin::Bin/boot"; $SIG{INT} = sub { kill_boot(); exit; }; + $SIG{HUP} = sub { kill_boot(); exit; }; + $SIG{ALRM} = sub { kill_boot(); exit; }; + $SIG{TERM} = sub { kill_boot(); exit; }; + $SIG{QUIT} = sub { kill_boot(); exit; }; pipe($boot, $wh) || die("pipe: $!"); my $pid = fork() // die("fork: $!");