summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/context/base/mkiv/data-crl.lua
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkiv/data-crl.lua')
-rw-r--r--Master/texmf-dist/tex/context/base/mkiv/data-crl.lua36
1 files changed, 26 insertions, 10 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkiv/data-crl.lua b/Master/texmf-dist/tex/context/base/mkiv/data-crl.lua
index fba5a62305b..ec517fba303 100644
--- a/Master/texmf-dist/tex/context/base/mkiv/data-crl.lua
+++ b/Master/texmf-dist/tex/context/base/mkiv/data-crl.lua
@@ -8,29 +8,45 @@ if not modules then modules = { } end modules ['data-crl'] = {
-- this one is replaced by data-sch.lua --
-local gsub = string.gsub
+local gsub = string.gsub
+local exists = io.exists
local resolvers = resolvers
+local finders = resolvers.finders
+local openers = resolvers.openers
+local loaders = resolvers.loaders
-local finders, openers, loaders = resolvers.finders, resolvers.openers, resolvers.loaders
+local setfirstwritablefile = caches.setfirstwritablefile
-resolvers.curl = resolvers.curl or { }
-local curl = resolvers.curl
+local curl = resolvers.curl or { }
+resolvers.curl = curl
+local cached = { }
-local cached = { }
+local runner = sandbox.registerrunner {
+ name = "curl resolver",
+ method = "execute",
+ program = "curl",
+ template = "--silent -- insecure --create-dirs --output %cachename% %original%",
+ checkers = {
+ cachename = "cache",
+ original = "url",
+ }
+}
local function runcurl(specification)
local original = specification.original
-- local scheme = specification.scheme
local cleanname = gsub(original,"[^%a%d%.]+","-")
- local cachename = caches.setfirstwritablefile(cleanname,"curl")
+ local cachename = setfirstwritablefile(cleanname,"curl")
if not cached[original] then
- if not io.exists(cachename) then
+ if not exists(cachename) then
cached[original] = cachename
- local command = "curl --silent --create-dirs --output " .. cachename .. " " .. original
- os.execute(command)
+ runner {
+ cachename = cachename,
+ original = original,
+ }
end
- if io.exists(cachename) then
+ if exists(cachename) then
cached[original] = cachename
else
cached[original] = ""