diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 18:35:48 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 18:35:48 +0100 |
commit | 3220fd09a4f97680849047211dab5588c8b33e97 (patch) | |
tree | 56e8942504f67338f7fe39662fdfe1e99302f114 /luaotfload-database.lua | |
parent | 21e489dc4d4bd66f93a6aea3673e1ca3d317df31 (diff) | |
download | luaotfload-3220fd09a4f97680849047211dab5588c8b33e97.tar.gz |
[log] suppress status info on dumb terminals
Diffstat (limited to 'luaotfload-database.lua')
-rw-r--r-- | luaotfload-database.lua | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 671af4c..1b20a84 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -713,10 +713,6 @@ resolve_cached = function (_, _, specification) local entry = { filename, subfont } report("both", 4, "cache", "New entry: %s", request) names.lookups[request] = entry - - --- obviously, the updated cache needs to be stored. - --- TODO this should trigger a save only once the - --- document is compiled (finish_pdffile callback?) report("both", 5, "cache", "Saving updated cache") local success = save_lookups() if not success then --- sad, but not critical |