Re: lua_close()

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

>From: "John Passaniti" <jmp@pt.com>

>Because of this, I need to be absolutely sure that lua_close()
>does what the documentation claims it does.

I hope we have implemented what we say we did :-)
If not, it's a bug.

>Have the language designers (or anyone else) used memory-checking utilities
>(like Purify, etc.) to validate that Lua cleans up completely after itself
>after lua_close() executes? 

Yes. We have used Purify, Electric Fence, and the built-in debugging mode
in lmem.c. These tools report no memory leaks.
--lhf