diff options
| -rw-r--r-- | Master/texmf-dist/scripts/context/lua/mtx-context.lua | 4 | ||||
| -rw-r--r-- | Master/texmf-dist/scripts/context/lua/mtxrun.lua | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/context/lua/mtx-context.lua b/Master/texmf-dist/scripts/context/lua/mtx-context.lua index a5dfd5a7d79..2991dbcc42c 100644 --- a/Master/texmf-dist/scripts/context/lua/mtx-context.lua +++ b/Master/texmf-dist/scripts/context/lua/mtx-context.lua @@ -1,3 +1,5 @@ +-- 8dec23 --socket added to restart per akira/hans (mail of 7dec23). + if not modules then modules = { } end modules['mtx-context'] = { version = 1.001, comment = "companion to mtxrun.lua", @@ -114,7 +116,7 @@ local function restart(engine_old,engine_new) local generate = environment.arguments.generate and (engine_new == "luatex" or engine_new == "luajittex") local arguments = generate and "--generate" or environment.reconstructcommandline() local ownname = filejoinname(filepathpart(environment.ownname),"mtxrun.lua") - local command = format("%s --luaonly %q %s --redirected",engine_new,ownname,arguments) + local command = format("%s --luaonly --socket %q %s --redirected",engine_new,ownname,arguments) report(format("redirect %s -> %s: %s",engine_old,engine_new,command)) local result = os.execute(command) os.exit(result == 0 and 0 or 1) diff --git a/Master/texmf-dist/scripts/context/lua/mtxrun.lua b/Master/texmf-dist/scripts/context/lua/mtxrun.lua index f8ef741105e..8c28a90e38a 100644 --- a/Master/texmf-dist/scripts/context/lua/mtxrun.lua +++ b/Master/texmf-dist/scripts/context/lua/mtxrun.lua @@ -1,4 +1,6 @@ #!/usr/bin/env texlua +-- 8dec23 --socket added to runners.applications lua and luc per hans +-- (mail of 7dec23). if not modules then modules = { } end modules ['mtxrun'] = { version = 1.001, @@ -26487,8 +26489,8 @@ messages = messages or { } -- for the moment runners = runners or { } -- global (might become local) runners.applications = { - ["lua"] = "luatex --luaonly", - ["luc"] = "luatex --luaonly", + ["lua"] = "luatex --luaonly --socket", + ["luc"] = "luatex --luaonly --socket", ["pl"] = "perl", ["py"] = "python", ["rb"] = "ruby", |