\" 2>&1", 'r');
    while (!feof($proc)) {
      $text = fgets($proc, 4096);
      echo htmlspecialchars($text);
      file_put_contents($logfile, $text, FILE_APPEND);
      @flush();
      @ob_flush();
    }
    ?>