Re: How to get FILE* from openfile() handle

["Mauro Vezzosi"<mvezzosi@...>]

> > I tried (FILE *) lua_getuserdata(lua_getparam(1)) to get the
> > FILE* but it doesn't work.
> 
> That should work... the userdata is the (FILE*) pointer.

Yes, sorry, you're right and my function was wrong.
Sorry again.

>From Roberto's email:
> (BTW, did you check the result of openfile?)
I checked it only after Erik answer because liolib.c confuse me and I 
supposed that my function was right (the last minute changes make it 
wrong).

Thank
Mauro