diff options
Diffstat (limited to 'tex/context/base/mkiv/cont-run.lua')
| -rw-r--r-- | tex/context/base/mkiv/cont-run.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tex/context/base/mkiv/cont-run.lua b/tex/context/base/mkiv/cont-run.lua index 0420ed01c..2225a0fb2 100644 --- a/tex/context/base/mkiv/cont-run.lua +++ b/tex/context/base/mkiv/cont-run.lua @@ -90,7 +90,7 @@ local function logsandbox(details) end end -local ioopen = sandbox.original(io.open) +local ioopen = sandbox.original(io.open) -- dummy call local function logsandboxfiles(name,what,asked,okay) -- we're only interested in permitted access @@ -161,14 +161,13 @@ if sandboxing then -- Nicer would be if we could just disable write 18 and keep os.execute -- which in fact we can do by defining write18 as macro instead of - -- primitive ... todo. + -- primitive ... todo ... well, it has been done now. -- We block some potential escapes from protection. context [[ \let\primitive \relax \let\normalprimitive\relax - \let\normalwrite \relax ]] end @@ -181,6 +180,10 @@ local function processjob() local suffix = environment.suffix local filename = environment.filename -- hm, not inputfilename ! + if arguments.synctex then + directives.enable("system.synctex="..tostring(arguments.synctex)) + end + if not filename or filename == "" then -- skip elseif suffix == "xml" or arguments.forcexml then |