From: Nicolas C. <war...@fr...> - 2004-08-31 11:47:46
|
> Fair enough. :) > > But then IO.nread is subject to a similar problem: It will > busy-wait on a non-blocking input until more input becomes > available instead of returning the string read so far. > > I fixed that and added two more really_... functions which > do exactly the same as their regular counterparts except > that they raise an exception if unable to read/write the > requested amount. > > I've attached the patch I intend to apply to add the > functions > > really_nread > really_input > really_output > > and to fix IO.nread when used on non-blocking IO. > > Any objections? (Obviously, I'll add declarations and > documentation to IO.mli if accepted.) Looks ok for me. Nicolas |