diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-17 23:55:03 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-17 23:55:03 +0200 |
commit | fd90b579a511089cac0187d42552d676e5274982 (patch) | |
tree | 5a5e7c4e1512fe4886dd9b3be83f533f71469704 /otfl-font-nms.lua | |
parent | 94bd394d1e2a0b08b2341927ad3fda09b78590a5 (diff) | |
download | luaotfload-fd90b579a511089cac0187d42552d676e5274982.tar.gz |
log database version mismatch
Diffstat (limited to 'otfl-font-nms.lua')
-rw-r--r-- | otfl-font-nms.lua | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/otfl-font-nms.lua b/otfl-font-nms.lua index 27fd983..2bbaa36 100644 --- a/otfl-font-nms.lua +++ b/otfl-font-nms.lua @@ -1,5 +1,5 @@ if not modules then modules = { } end modules ['font-nms'] = { - version = 1.002, + version = 2.2, comment = "companion to luaotfload.lua", author = "Khaled Hosny and Elie Roux", copyright = "Luaotfload Development Team", @@ -54,7 +54,7 @@ fonts.names = fonts.names or { } local names = fonts.names local names_dir = "luatex-cache/generic/names" -names.version = 2.2 -- not the same as in context +names.version = 2.2 names.data = nil names.path = { basename = "otfl-names.lua", @@ -260,7 +260,15 @@ resolve = function (_,_,specification) -- the 1st two parameters are used by Con end local data = names.data - if type(data) == "table" and data.version == names.version then + if type(data) == "table" then + local db_version, nms_version = data.version, names.version + if data.version ~= names.version then + report("log", 0, "db", + [[version mismatch; expected %4.3f, got %4.3f]], + nms_version, db_version + ) + return reload_db(resolve, nil, nil, specification) + end if data.mappings then local found = { } local synonym_set = style_synonyms.set |