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

diff --combined test/bin/bomb.pl
index 1592161,6e1ae1e..94f5c8d
--- 1/test/bin/bomb.pl
--- 2/test/bin/bomb.pl
+++ b/test/bin/bomb.pl
@@@ -56,9 -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;
  };
@@@ -69,7 -66,7 +69,7 @@@ $SIG{INT} = "IGNORE"
  alarm($timeout);
  
  system(@system) == 0
-   or die "system @system failed: $?";
+   or die "system('@system') failed: ?='$?', !='$!', ^E='$^E', ?='$?'";
  
  1;