lua-users home
lua-l archive

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


Thanks for taking a look Roberto.

On Mon, Apr 9, 2012 at 9:43 AM, Roberto Ierusalimschy
<roberto@inf.puc-rio.br> wrote:
> 1) To disallow the unloading of dynamic libraries. (Very quick and dirty.)

This seems fine to me, but others may have different requirements.

> 2) To handle dynamic libraries as a special case when running
> finalizers. (May be good for a patch.)

If this wouldn't add too much complexity this seems like a fine approach also.

> 3) To change the specification in some way (e.g., introducing priorities
> for finalizers).

That sounds kind of complicated, would it have other uses?

Josh