Re: Streams: Further considerations

> - Disable buffering for stdio streams (setvbuf(3) or similar). > - read(2) using the fd obtained from fileno(3) (where valid). Ok, here is a plan: 1. Use fgetc in stream_gets for stdio stream ops 2. Add file descriptor-based stream ops 3. Redirect _php_stream_fopen_from_file/pipe to new stream ops, if possible The first point is trivial to implement. The rest ensures that no fread/read calls are mixed which could lead to some pretty obscure bugs. > The stdio buffering could be restored when the stream is cast > for use by third-party libraries. I'm not sure what you are referring to -- do these libraries make use of "FILE *" directly? - Sascha