diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2015-11-18 08:04:17 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2015-11-18 08:04:22 +0100 |
| commit | 671f654e671cc2b255b21b937bbfd7f63cf43c22 (patch) | |
| tree | d6ddca55b3a1cfdb60c195fd8a0795281becfa0b | |
| parent | 85bc85c1f116f759c59ef06f27bb37c0d2bb80f6 (diff) | |
| download | luaotfload-671f654e671cc2b255b21b937bbfd7f63cf43c22.tar.gz | |
[init] treat known fontloaders as special case
Defaulting too soon will prevent loading other loaders like the TL 2014
one we ship for backwards compatibility.
| -rw-r--r-- | src/luaotfload-init.lua | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/luaotfload-init.lua b/src/luaotfload-init.lua index 5b21d70..0f7464a 100644 --- a/src/luaotfload-init.lua +++ b/src/luaotfload-init.lua @@ -363,13 +363,19 @@ local init_main = function () fontloader, path) local _void = require (path) + elseif fontloader then + logreport ("log", 4, "init", + "Using predefined fontloader “%s”.", + fontloader) + load_fontloader_module (fontloader) + else - logreport ("log", 6, "init", - "No match for fontloader spec “%s”.", + logreport ("log", 4, "init", + "No match for requested fontloader “%s”.", fontloader) fontloader = luaotfload.fontloader_package logreport ("log", 4, "init", - "Using predefined fontloader “%s”.", + "Defaulting to predefined fontloader “%s”.", fontloader) load_fontloader_module (fontloader) end |