summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-11-17 20:04:34 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2013-11-17 20:04:34 +0100
commitd6679aaf43954c88ab374bdf620a7feb0481f009 (patch)
tree4c955a20a281baf5addeb4ed66a64b44d05c43dc
parentc0a2db36cfa63da82ab9e0eb0eb952a14a899fa9 (diff)
downloadluaotfload-d6679aaf43954c88ab374bdf620a7feb0481f009.tar.gz
[db] write non-truncated filenames to log (lvl 2) with status messages
-rw-r--r--luaotfload-database.lua9
1 files changed, 6 insertions, 3 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua
index c5c4c37..417cc25 100644
--- a/luaotfload-database.lua
+++ b/luaotfload-database.lua
@@ -2167,11 +2167,14 @@ local scan_dir = function (dirname, currentnames, targetnames,
if dry_run == true then
local truncated = truncate_string (fullname, 43)
- report_status ("both", "db",
- "Would have been loading %s", truncated)
+ report ("log", 2, "db",
+ "Would have been loading %s", fullname)
+ report_status ("term", "db",
+ "Would have been loading %s", truncated)
else
local truncated = truncate_string (fullname, 32)
- report_status ("both", "db", "Loading font %s", truncated)
+ report ("log", 2, "db", "Loading font %s", fullname)
+ report_status ("term", "db", "Loading font %s", truncated)
local new = read_font_names (fullname, currentnames,
targetnames, texmf)
if new == true then