X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=test%2Fbin%2Fbomb.pl;fp=test%2Fbin%2Fbomb.pl;h=1592161c9eed56ffa855242dbbbaf7b34d4c802a;hb=bc574e44244a984d51bf5aa9de3df27d1f277777;hp=b91f0499c68337651af9dce0788fb3598de68916;hpb=c07acf628bd0580ed707eeb58db77de5d41e3ca2;p=mkws-moved-to-github.git diff --git a/test/bin/bomb.pl b/test/bin/bomb.pl index b91f049..1592161 100755 --- a/test/bin/bomb.pl +++ b/test/bin/bomb.pl @@ -56,6 +56,9 @@ if ($@) { $SIG{ALRM} = sub { my $pgid = getpgrp(); + warn "Alarm handler got called after $timeout seconds\n"; + warn "Kill now the process group...\n\n"; + # kill process group kill "INT", -$pgid; };