diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 9d1a78c1e4..72781e9559 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1125,7 +1125,10 @@ function system_with_timeout($commandline, $env = null, $stdin = null) $stat = proc_get_status($proc); if ($stat['signaled']) { - $data .= "\nTermsig=" . $stat['stopsig']; + $data .= "\nTermsig=" . $stat['stopsig'] . "\n"; + } + if ($stat["exitcode"] > 128 && $stat["exitcode"] < 160) { + $data .= "\nTermsig=" . ($stat["exitcode"] - 128) . "\n"; } $code = proc_close($proc); |