Re: Return an exit code without os.exit()?

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

> luacov does a trick with gc and a temporary file to get its save_stats  
> called on exit:
...
> This doesn't seem to happen on os.exit() - I guess os.exit() forces  
> shutdown without gc?

This will be addressed in Lua 5.2: os.exit will have an option to
close the state (thus calling gc).