lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Sun, Sep 6, 2009 at 7:26 PM, Sam Roberts<> wrote:
> It might be useful for os.exit() to close the lua state, not to clean
> up OS-managed
> resources that will be released anyway, but for causing userdata to be
> finalized by calling __gc.

I was going to also bring this up. os.exit() should probably close the
Lua state if for no better reason than to allow gc metamethods to run.

-Patrick Donnelly

"Let all men know thee, but no man know thee thoroughly: Men freely
ford that see the shallows."

- Benjamin Franklin