lua_pushlightuserdata fed with NULL pointer

[Shmuel Zeigerman <shmuz@...>]

1. lua_pushstring(L, NULL) is equivalent to lua_pushnil(L).
2. lua_pushlightuserdata(L, NULL) pushes light userdata with null value.

I would suggest (for Lua 5.2) making case 2 above to behave as case 1, 
since there is no (easy) way to find out from Lua script if it was the 
null pointer.

--
Shmuel