Todd C. Miller Mon, 31 Dec 2018 06:26:23 -0800
Thanks, I've committed a slightly different fix that only prints an error message once before exiting.
- todd