(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).

src/w32.c

@@ -1851,6 +1851,8 @@ sys_read (int fd, char * buffer, unsigned int count)
 	      ResetEvent (cp->char_avail);
 
 	    case STATUS_READ_ACKNOWLEDGED:
+	      /* Give process time to buffer some more output for us */
+	      Sleep (50);
 	      break;
 
 	    default: