From 25c08a839a261f3da77767934d8bed29f9831db3 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 19 Nov 2013 12:41:58 +0100
Subject: [PATCH] avoid doing a stream_select on a closed stream

---
 run-tests.php | 1 +
 1 file changed, 1 insertion(+)

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);
 
-- 
2.40.0