From: Wolfram Schneider <wosch@indexdata.dk>
Date: Wed, 5 Nov 2014 09:53:39 +0000 (+0000)
Subject: Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/mkws
X-Git-Tag: 1.0.0~81
X-Git-Url: http://sru.miketaylor.org.uk/?a=commitdiff_plain;h=a9772d3eb3dda0386b98a03d83656058a6adcec4;hp=-c;p=mkws-moved-to-github.git

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

a9772d3eb3dda0386b98a03d83656058a6adcec4
diff --combined test/bin/bomb.pl
index 1592161,6e1ae1e..94f5c8d
--- a/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;