(do_buffered_read): Pass EOF to the read handler, rather than raising an exception. Rev: src/io.c:1.73