This has the side effect of closing stdin on EOF but I don't think
that is a problem.  OK millert@

 - todd

Reply via email to