Re: Small question about os.exit and __gc

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

> I also find it pretty odd that os.exit() doesn't close the state by default.

You can always do
	do
		local exit=os.exit
		os.exit=function(code) exit(code,true) end
	end