diff options
| -rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 7eb445eeb8..a88d37d000 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1090,6 +1090,7 @@ function system_with_timeout($commandline, $env = null, $stdin = null) fwrite($pipes[0], $stdin); } fclose($pipes[0]); + unset($pipes[0]); $timeout = $leak_check ? 300 : (isset($env['TEST_TIMEOUT']) ? $env['TEST_TIMEOUT'] : 60); |