Re: <close> and os.exit()

[Phil Leblanc <philanc@...>]

On Sat, May 30, 2020 at 5:51 PM Lorenzo Donati
<lorenzodonatibz@tiscali.it> wrote:
>
> Funnily enough, os.exit, by default, does less than what C exit function
> guarantees, i.e. equivalent to returning from main (C has much uglier
> looking alternatives for emergency exit).

This summarizes nicely my original point! :-)  The (not so uglier)
emergency exit in C would be _exit().