5 Sep
2008
5 Sep
'08
10:52 a.m.
I am working with named pipes to output large amounts of text to an external process. Looking at the sources of basis/TextIO.sml etc. I've got the impression that pipes are always line-buffered. Is there an easy way to get block-buffering?
Makarius