diff --git a/src/hlua.c b/src/hlua.c index 6ff0a6607..254c2a33d 100644 --- a/src/hlua.c +++ b/src/hlua.c @@ -8617,6 +8617,13 @@ void hlua_init(void) RESET_SAFE_LJMP(gL.T); } +static void hlua_deinit() +{ + lua_close(gL.T); +} + +REGISTER_POST_DEINIT(hlua_deinit); + static void hlua_register_build_options(void) { char *ptr = NULL;