Tobias Kappé 07c9264884 Read standard output and standard error of child process using stream_select. ... If a process filled up the buffer of the standard error pipe before closing the standard output pipe, it would hang. As a result, the call to stream_get_contents for the standard output pipe would not return, as the standard error pipe needs to be read from in order for the process to continue. This change uses stream_select to read from both pipes whenever data becomes available.		2016-08-27 14:15:19 +02:00
..
PHPCI	Read standard output and standard error of child process using stream_select.	2016-08-27 14:15:19 +02:00
temp	Adding Phar archive plugin.	2014-12-01 21:09:13 +00:00
bootstrap.php	Enforce "en" lang in tests.	2015-04-22 11:49:26 +02:00