Re: [TUHS] EOF on pipes?