diff options
| author | Remi Collet <remi@php.net> | 2013-11-19 12:41:58 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2013-11-19 12:41:58 +0100 |
| commit | 25c08a839a261f3da77767934d8bed29f9831db3 (patch) | |
| tree | 13bcdbbe8c6c7109508810f7fd23283f6137ff07 | |
| parent | 823e330c75a7ed87dcdcd692f8672420c1abe244 (diff) | |
| download | php-git-25c08a839a261f3da77767934d8bed29f9831db3.tar.gz | |
avoid doing a stream_select on a closed stream
| -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 317f6077a3..25e480728f 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1088,6 +1088,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); |