diff options
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 11 | 
1 files changed, 6 insertions, 5 deletions
| diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 2c525d9..93d6acf 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -259,6 +259,7 @@ actions.loglevel = function (job)      logs.set_loglevel(job.log_level)      logs.names_report("info", 3, "util",                        "setting log level", "%d", job.log_level) +    logs.names_report("log", 0, "util", "lua=%s", _VERSION)      return true, true  end @@ -277,8 +278,8 @@ actions.generate = function (job)      fontnames = names.update(fontnames, job.force_reload)      logs.names_report("info", 2, "db",          "Fonts in the database: %i", #fontnames.mappings) -    savedname = names.save(fontnames) -    if savedname then --- FIXME have names.save return bool +    local success = names.save(fontnames) +    if success then          return true, true      end      return false, false @@ -287,9 +288,9 @@ end  actions.flush = function (job)      local success, lookups = names.flush_cache()      if success then -        local savedname = names.save_lookups() -        logs.names_report("info", 2, "cache", "Cache emptied") -        if savedname then +        local success = names.save_lookups() +        if success then +            logs.names_report("info", 2, "cache", "Cache emptied")              return true, true          end      end | 
