Todd C. Miller Thu, 06 Dec 2018 06:19:24 -0800
This has the side effect of closing stdin on EOF but I don't think that is a problem. OK millert@
- todd