Timo Paulssen Mon, 06 Mar 2017 01:56:56 -0800
> Is there a way to send and "end of file" marker to terminate the pipe?
That is exactly what the call to .close does.