From: Ken Hornstein <kenh@pobox.com>
Date: Tue, 20 Mar 2012 23:52:29 +0000 (-0400)
Subject: Use _exit() instead of exit() so our writer process doesn't flush out
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/878f39953d1d908e8c151e33ea14172ea10b7c4b?ds=sidebyside;hp=878f39953d1d908e8c151e33ea14172ea10b7c4b

Use _exit() instead of exit() so our writer process doesn't flush out
the stdio buffers on exit.
---