diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:09:23 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:09:23 +0200 |
| commit | df1267d2bea13c84056e5a30465d24499c595558 (patch) | |
| tree | d6b4ef5aabb486a5133ee6201725ba5167ac70a4 | |
| parent | 6ad39d6f1f45b088173312493f7b3b42eb71979a (diff) | |
| download | luaotfload-df1267d2bea13c84056e5a30465d24499c595558.tar.gz | |
[db] adapt function reload_db to new db structure
| -rw-r--r-- | luaotfload-database.lua | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 475d361..7026dca 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1107,17 +1107,18 @@ end --- string -> ('a -> 'a) -> 'a list -> 'a reload_db = function (why, caller, ...) local namedata = names.data - local formats = tableconcat (namedata.formats, ",") + local formats = tableconcat (namedata.meta.formats, ",") report ("both", 1, "db", "Reload initiated (formats: %s); reason: %q", formats, why) set_font_filter (formats) - names.data = update_names (names.data, false, false) + namedata = update_names (namedata, false, false) - if names.data then + if namedata then fonts_reloaded = true + names.data = namedata return caller (...) end |