diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/luat-crl.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/luat-crl.lua | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/Master/texmf-dist/tex/context/base/luat-crl.lua b/Master/texmf-dist/tex/context/base/luat-crl.lua deleted file mode 100644 index aaf2e86a1cf..00000000000 --- a/Master/texmf-dist/tex/context/base/luat-crl.lua +++ /dev/null @@ -1,53 +0,0 @@ --- filename : luat-crl.lua --- comment : companion to luat-lib.tex --- author : Hans Hagen, PRAGMA-ADE, Hasselt NL --- copyright: PRAGMA ADE / ConTeXt Development Team --- license : see context related readme files - -if not versions then versions = { } end versions['luat-crl'] = 1.001 -if not curl then curl = { } end - -curl.cached = { } -curl.cachepath = caches.definepath(texmf.instance,"curl") - -function curl.fetch(protocol, name) - local cachename = curl.cachepath() .. "/" .. name:gsub("[^%a%d%.]+","-") --- cachename = cachename:gsub("[\\/]", io.fileseparator) - cachename = cachename:gsub("[\\]", "/") - if not curl.cached[name] then - if not io.exists(cachename) then - curl.cached[name] = cachename - local command = "curl --silent --create-dirs --output " .. cachename .. " " .. name -- no protocol .. "://" - os.spawn(command) - end - if io.exists(cachename) then - curl.cached[name] = cachename - else - curl.cached[name] = "" - end - end - return curl.cached[name] -end - -function input.finders.curl(instance,protocol,filename) - local foundname = curl.fetch(protocol, filename) - return input.finders.generic(instance,protocol,foundname,filetype) -end -function input.openers.curl(instance,protocol,filename) - return input.openers.generic(instance,protocol,filename) -end -function input.loaders.curl(instance,protocol,filename) - return input.loaders.generic(instance,protocol,filename) -end - --- todo: metamethod - -function curl.install(protocol) - input.finders[protocol] = function (instance,filename,filetype) return input.finders.curl(instance,protocol,filename) end - input.openers[protocol] = function (instance,filename) return input.openers.curl(instance,protocol,filename) end - input.loaders[protocol] = function (instance,filename) return input.loaders.curl(instance,protocol,filename) end -end - -curl.install('http') -curl.install('https') -curl.install('ftp') |