Do not ignore SIGPIPE for user programs

diff --git a/gruntmaster-exec b/gruntmaster-exec
index 5235e8e5ed3430fa06b37a73a8bc5304c78d54ae..6d5381257b83e85e5910494dcfec4691e6c3061a 100755 (executable)
--- a/gruntmaster-exec
+++ b/gruntmaster-exec
@@ -66,7 +66,7 @@ if ($ret) {
        my $signame = sig_name $sig;
        exit !say TLE,  "\nTime Limit Exceeded"   if $tle;
        exit !say OLE,  "\nOutput Limit Exceeded" if $sig && $signame eq 'XFSZ';
-       exit !say DIED, "\nCrash (SIG$signame)"   if $sig && $signame ne 'PIPE';
+       exit !say DIED, "\nCrash (SIG$signame)"   if $sig && ($signame ne 'PIPE' || $ARGV[0] =~ /prog/);
        exit !say NZX,  "\nNon-zero exit status: " . ($? >> 8) if $? >> 8;
        exit !say AC,   "\nAll OK";
 } else {