123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172 |
- <?php
- /*
- * This file is part of the Symfony package.
- *
- * (c) Fabien Potencier <fabien@symfony.com>
- *
- * For the full copyright and license information, please view the LICENSE
- * file that was distributed with this source code.
- */
- define('ERR_SELECT_FAILED', 1);
- define('ERR_TIMEOUT', 2);
- define('ERR_READ_FAILED', 3);
- define('ERR_WRITE_FAILED', 4);
- $read = [STDIN];
- $write = [STDOUT, STDERR];
- stream_set_blocking(STDIN, 0);
- stream_set_blocking(STDOUT, 0);
- stream_set_blocking(STDERR, 0);
- $out = $err = '';
- while ($read || $write) {
- $r = $read;
- $w = $write;
- $e = null;
- $n = stream_select($r, $w, $e, 5);
- if (false === $n) {
- die(ERR_SELECT_FAILED);
- } elseif ($n < 1) {
- die(ERR_TIMEOUT);
- }
- if (in_array(STDOUT, $w) && strlen($out) > 0) {
- $written = fwrite(STDOUT, (string) $out, 32768);
- if (false === $written) {
- die(ERR_WRITE_FAILED);
- }
- $out = (string) substr($out, $written);
- }
- if (null === $read && '' === $out) {
- $write = array_diff($write, [STDOUT]);
- }
- if (in_array(STDERR, $w) && strlen($err) > 0) {
- $written = fwrite(STDERR, (string) $err, 32768);
- if (false === $written) {
- die(ERR_WRITE_FAILED);
- }
- $err = (string) substr($err, $written);
- }
- if (null === $read && '' === $err) {
- $write = array_diff($write, [STDERR]);
- }
- if ($r) {
- $str = fread(STDIN, 32768);
- if (false !== $str) {
- $out .= $str;
- $err .= $str;
- }
- if (false === $str || feof(STDIN)) {
- $read = null;
- if (!feof(STDIN)) {
- die(ERR_READ_FAILED);
- }
- }
- }
- }
|