diff options
author | Hans Hagen <pragma@wxs.nl> | 2017-11-22 15:35:23 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-11-22 15:35:23 +0100 |
commit | 409a95f63883bd3b91699d39645e39a8a761457c (patch) | |
tree | e15b7563c06ea0a5a8c2a148f3ef04db5c841f69 /tex/context/base/mkiv/data-sch.lua | |
parent | 5b9683a8f29dd473e17502aa1746a6bcc3036fe3 (diff) | |
download | context-409a95f63883bd3b91699d39645e39a8a761457c.tar.gz |
2017-11-22 13:41:00
Diffstat (limited to 'tex/context/base/mkiv/data-sch.lua')
-rw-r--r-- | tex/context/base/mkiv/data-sch.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tex/context/base/mkiv/data-sch.lua b/tex/context/base/mkiv/data-sch.lua index f6801cb4d..2e880e997 100644 --- a/tex/context/base/mkiv/data-sch.lua +++ b/tex/context/base/mkiv/data-sch.lua @@ -72,7 +72,7 @@ local runner = sandbox.registerrunner { name = "curl resolver", method = "execute", program = "curl", - template = "--silent -- insecure --create-dirs --output %cachename% %original%", + template = "--silent --insecure --create-dirs --output %cachename% %original%", checkers = { cachename = "cache", original = "url", @@ -151,7 +151,7 @@ local function http_handler(specification,cachename) local tempname = cachename .. ".tmp" local f = io.open(tempname,"wb") local status, message = http.request { - url = specification.original, + url = specification.original, sink = ltn12.sink.file(f) } if not status then |