On 11/5/13, 8:46 AM, Pavel Golub wrote:
> I suppose this should be call to exit_nicely() for all possible cases.
>
> The only need for calling exit_horribly() is when we are deep down in
> the multithreaded code, AFAIK.
Doesn't hurt either, though. But it would be OK to make this more
consistent.