Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/mkws

[mkws-moved-to-github.git] / test / bin / bomb.pl

diff --git a/test/bin/bomb.pl b/test/bin/bomb.pl
index 6e1ae1e..94f5c8d 100755 (executable)
--- 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;
 };