diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-03 19:55:03 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-03 19:55:03 +0200 |
| commit | 542fc9edfb02a4e0cbde369e16dd66227cba95fc (patch) | |
| tree | ce17977eb0e28a7f214f699a9baf79301c199809 /luaotfload-tool.lua | |
| parent | a02abd16b0ffc8a21270297008e766917e25670b (diff) | |
| download | luaotfload-542fc9edfb02a4e0cbde369e16dd66227cba95fc.tar.gz | |
make cache flushing work with new cache file
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index bb935cf..0833842 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -253,11 +253,10 @@ actions.generate = function (job) end actions.flush = function (job) - local success, fontnames = names.flush_cache() + local success, lookups = names.flush_cache() if success then - local savedname = names.save(fontnames) - logs.names_report("info", 2, "cache", - "Cache emptied", #fontnames.mappings) + local savedname = names.save_lookups() + logs.names_report("info", 2, "cache", "Cache emptied") if savedname then return true, true end |