summaryrefslogtreecommitdiff
path: root/tex/generic
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2013-04-08 17:52:00 +0200
committerHans Hagen <pragma@wxs.nl>2013-04-08 17:52:00 +0200
commit5cfca38c5dd1e0855280a1816eb14cf56a4d1aba (patch)
tree70ccb65709e4de51f45dd984e38c3411cb238ed9 /tex/generic
parent9206d8ee516e39d5373805b145b1545002f732c8 (diff)
downloadcontext-5cfca38c5dd1e0855280a1816eb14cf56a4d1aba.tar.gz
beta 2013.04.08 17:52
Diffstat (limited to 'tex/generic')
-rw-r--r--tex/generic/context/luatex/luatex-fonts-merged.lua14
1 files changed, 12 insertions, 2 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua
index 2cb036df0..dff2d3975 100644
--- a/tex/generic/context/luatex/luatex-fonts-merged.lua
+++ b/tex/generic/context/luatex/luatex-fonts-merged.lua
@@ -1,6 +1,6 @@
-- merged file : luatex-fonts-merged.lua
-- parent file : luatex-fonts.lua
--- merge date : 04/07/13 14:05:24
+-- merge date : 04/08/13 17:52:17
do -- begin closure to overcome local limits and interference
@@ -193,7 +193,7 @@ local function loadedbypath(name,rawname,paths,islib,what)
end
local function notloaded(name)
if helpers.trace then
- helpers.report("? unable to locate library '%s'",name)
+ helpers.report("unable to locate library '%s'",name)
end
end
helpers.loadedaslib=loadedaslib
@@ -224,6 +224,16 @@ function helpers.loaded(name)
end
return notloaded(name)
end
+function helpers.unload(name)
+ if helpers.trace then
+ if package.loaded[name] then
+ helpers.report("unloading library '%s', %s",name,"done")
+ else
+ helpers.report("unloading library '%s', %s",name,"not loaded")
+ end
+ end
+ package.loaded[name]=nil
+end
end -- closure