> Is there a way to send and "end of file" marker to terminate the pipe?

That is exactly what the call to .close does.

Reply via email to