summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-04-14 23:13:26 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-04-14 23:13:26 +0200
commit7b6553218a35e5f74ad2013a1a16f54b8aa4f2ca (patch)
treeb4168cf6b7a3b43a2fda110d44f4fbc3376c3545
parent9909991f8c403ef1119c44902de213695ae46318 (diff)
downloadluaotfload-7b6553218a35e5f74ad2013a1a16f54b8aa4f2ca.tar.gz
import from upstream
-rw-r--r--otfl-fonts-merged.lua14
1 files changed, 12 insertions, 2 deletions
diff --git a/otfl-fonts-merged.lua b/otfl-fonts-merged.lua
index 2cb036d..96f4c79 100644
--- a/otfl-fonts-merged.lua
+++ b/otfl-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/14/13 16:51:15
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