X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=test%2Fbin%2Fbomb.pl;h=94f5c8d08135263cd299499c0ccf191f92050a25;hb=34677a079e681d16365e175e3cb2116a25428dd8;hp=6e1ae1eb112edc6a5e973f0d560f824800aeadd9;hpb=69ec59f4c2747405a9d06f9a780133f3f90dda89;p=mkws-moved-to-github.git diff --git a/test/bin/bomb.pl b/test/bin/bomb.pl index 6e1ae1e..94f5c8d 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; };