diff --git a/source/texk/web2c/luatexdir/lua/liolibext.c b/source/texk/web2c/luatexdir/lua/liolibext.c index e910139c2ce5c0cf74b10fbde3df963eb3e07c62..958cbb67b43b41207e83b89a9595685fdfb2400b 100644 --- a/source/texk/web2c/luatexdir/lua/liolibext.c +++ b/source/texk/web2c/luatexdir/lua/liolibext.c @@ -365,7 +365,7 @@ static int checkpermission(lua_State *L) lua_pushliteral(L,"all command execution is disabled"); } else if (restrictedshell == 0) { lua_pushboolean(L,1); - lua_pushliteral(L,"all commands are permitted"); + lua_pushstring(L,filename); } else { char *safecmd = NULL; char *cmdname = NULL; @@ -374,10 +374,6 @@ static int checkpermission(lua_State *L) lua_pushboolean(L,0); lua_pushliteral(L, "specific command execution disabled"); break; - case 1: - lua_pushboolean(L,1); - lua_pushstring(L,filename); - break; case 2: lua_pushboolean(L,1); lua_pushstring(L,safecmd);