Allow early-terminating run to flush buffer before terminating.

Without this, we would get a broken pipe.