diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-19 23:04:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-19 23:04:15 +0000 |
commit | f74161ca4e7eb3c5af9afcbe92522ae3b58987c1 (patch) | |
tree | 3c30a13df5ac7968195c85070a2b074578e669d2 /Master/texmf-dist/tex/context/base/mkiv/cont-run.lua | |
parent | 1d5a55ac8f5506a7ae9cfca52f4b588182e199d4 (diff) |
context beta/cont-tmf.zip (Apr 16 12:55)
git-svn-id: svn://tug.org/texlive/trunk@43931 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkiv/cont-run.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/mkiv/cont-run.lua | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkiv/cont-run.lua b/Master/texmf-dist/tex/context/base/mkiv/cont-run.lua index 0420ed01c7b..2225a0fb22f 100644 --- a/Master/texmf-dist/tex/context/base/mkiv/cont-run.lua +++ b/Master/texmf-dist/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 |