diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-14 23:13:26 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-14 23:13:26 +0200 |
commit | 7b6553218a35e5f74ad2013a1a16f54b8aa4f2ca (patch) | |
tree | b4168cf6b7a3b43a2fda110d44f4fbc3376c3545 /otfl-fonts-merged.lua | |
parent | 9909991f8c403ef1119c44902de213695ae46318 (diff) | |
download | luaotfload-7b6553218a35e5f74ad2013a1a16f54b8aa4f2ca.tar.gz |
import from upstream
Diffstat (limited to 'otfl-fonts-merged.lua')
-rw-r--r-- | otfl-fonts-merged.lua | 14 |
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 |