avoid doing a stream_select on a closed stream

remicollet · remicollet · commit 25c08a839a26 · 2013-11-19T12:41:58.000+01:00
diff --git 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);
 

Original file line number	Diff line number	Diff line change
`@@ -1088,6 +1088,7 @@ function system_with_timeout($commandline, $env = null, $stdin = null)`
`1088`	`1088`	`fwrite($pipes[0], $stdin);`
`1089`	`1089`	`}`
`1090`	`1090`	`fclose($pipes[0]);`
	`1091`	`+ unset($pipes[0]);`
`1091`	`1092`
`1092`	`1093`	`$timeout = $leak_check ? 300 : (isset($env['TEST_TIMEOUT']) ? $env['TEST_TIMEOUT'] : 60);`
`1093`	`1094`