Hacker News new | ask | show | jobs
by jwilk 1561 days ago
This still succeeds, because puts() is buffered.

(And silently returning non-zero would be bad anyway.)