comparison src/w32.c @ 15237:e44ef00f509f

(sys_read): Introduce a small delay before reading from a pipe or socket to allow more data to be buffered; otherwise, process output is read one byte at a time on fast machines (which is slow).

15236:99d01b1b8799

	      extra = 1;
	      cp->status = STATUS_READ_ACKNOWLEDGED;
	      ResetEvent (cp->char_avail);

	    case STATUS_READ_ACKNOWLEDGED:
	      break;

	    default:
	      DebPrint (("sys_read: bad status %d\n", current_status));
	      errno = EBADF;

15237:e44ef00f509f

	      extra = 1;
	      cp->status = STATUS_READ_ACKNOWLEDGED;
	      ResetEvent (cp->char_avail);

	    case STATUS_READ_ACKNOWLEDGED:
	      /* Give process time to buffer some more output for us */
	      Sleep (50);
	      break;

	    default:
	      DebPrint (("sys_read: bad status %d\n", current_status));
	      errno = EBADF;