summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/context/base/luat-crl.lua
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/context/base/luat-crl.lua')
-rw-r--r--Master/texmf-dist/tex/context/base/luat-crl.lua53
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')