Ah, right. *doh* My bad. It's the write direction I'm having issues with. I guess I can just discard any incoming data and live with that, but I'm still interested - how would one know that the pipe goes from being write only to fully closed?
In the normal case, without Stdio.Buffer, I assume write() would return an error?
