Re: [PATCH] Lua Leak in OS Library

[Luiz Henrique de Figueiredo <lhf@...>]

> In my opinion, os.exit() is for exiting quickly and letting the OS
> worry about cleaning up.

Exactly. Nevertheless, in Lua 5.2, os.exit will accept a flag that tells
whether to close the Lua state.