hphp/test/zend/bad/ext-standard-file/bug60120.php

   1 <?php
   2
   3 error_reporting(E_ALL);
   4
   5 $php = getenv('TEST_PHP_EXECUTABLE');
   6 if (!$php) {
   7         die("No php executable defined\n");
   8 }
   9 $cmd = 'php -r "fwrite(STDOUT, $in = file_get_contents(\'php://stdin\')); fwrite(STDERR, $in);"';
  10 $descriptors = array(array('pipe', 'r'), array('pipe', 'w'), array('pipe', 'w'));
  11 $stdin = str_repeat('*', 1024 * 16) . '!';
  12 $stdin = str_repeat('*', 2049 );
  13
  14 $options = array_merge(array('suppress_errors' => true, 'binary_pipes' => true, 'bypass_shell' => false));
  15 $process = proc_open($cmd, $descriptors, $pipes, getcwd(), array(), $options);
  16
  17 foreach ($pipes as $pipe) {
  18     stream_set_blocking($pipe, false);
  19 }
  20 $writePipes = array($pipes[0]);
  21 $stdinLen = strlen($stdin);
  22 $stdinOffset = 0;
  23
  24 unset($pipes[0]);
  25
  26 while ($pipes || $writePipes) {
  27     $r = $pipes;
  28     $w = $writePipes;
  29     $e = null;
  30     $n = stream_select($r, $w, $e, 60);
  31
  32     if (false === $n) {
  33         break;
  34     } elseif ($n === 0) {
  35         proc_terminate($process);
  36
  37     }
  38     if ($w) {
  39         $written = fwrite($writePipes[0], (binary)substr($stdin, $stdinOffset), 8192);
  40         if (false !== $written) {
  41             $stdinOffset += $written;
  42         }
  43         if ($stdinOffset >= $stdinLen) {
  44             fclose($writePipes[0]);
  45             $writePipes = null;
  46         }
  47     }
  48
  49     foreach ($r as $pipe) {
  50         $type = array_search($pipe, $pipes);
  51         $data = fread($pipe, 8192);
  52         if (false === $data || feof($pipe)) {
  53             fclose($pipe);
  54             unset($pipes[$type]);
  55         }
  56     }
  57 }
  58 echo "OK.";
  59 ?>