summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2015-11-21 22:20:25 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2015-11-22 00:15:56 +0100
commitc6e5c892171b526c0bd283737a6207bf443765e2 (patch)
tree0f05d89ca5bb65d2dbe277c2e7f7807fa60869f4 /src
parentcaaf1f3801e41706d1be9cefccddea859e1e4bcb (diff)
downloadluaotfload-c6e5c892171b526c0bd283737a6207bf443765e2.tar.gz
[db] adapt log behavior of font path search
Diffstat (limited to 'src')
-rw-r--r--src/luaotfload-database.lua12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/luaotfload-database.lua b/src/luaotfload-database.lua
index 1bc2768..2bce001 100644
--- a/src/luaotfload-database.lua
+++ b/src/luaotfload-database.lua
@@ -2193,14 +2193,14 @@ local collect_font_filenames_texmf = function ()
local osfontdir = kpseexpand_path "$OSFONTDIR"
if stringis_empty (osfontdir) then
- logreport ("info", 1, "db", "Scanning TEXMF for fonts...")
+ logreport ("both", 1, "db", "Scanning TEXMF for fonts...")
else
- logreport ("info", 1, "db", "Scanning TEXMF and $OSFONTDIR for fonts...")
+ logreport ("both", 1, "db", "Scanning TEXMF and $OSFONTDIR for fonts...")
if log.get_loglevel () > 3 then
local osdirs = filesplitpath (osfontdir)
- logreport ("info", 0, "db", "$OSFONTDIR has %d entries:", #osdirs)
+ logreport ("both", 0, "db", "$OSFONTDIR has %d entries:", #osdirs)
for i = 1, #osdirs do
- logreport ("info", 0, "db", "[%d] %s", i, osdirs[i])
+ logreport ("both", 0, "db", "[%d] %s", i, osdirs[i])
end
end
end
@@ -2214,14 +2214,14 @@ local collect_font_filenames_texmf = function ()
end
local tasks = filter_out_pwd (filesplitpath (fontdirs))
- logreport ("info", 3, "db",
+ logreport ("both", 3, "db",
"Initiating scan of %d directories.", #tasks)
local files = { }
for _, dir in next, tasks do
files = tableappend (files, collect_font_filenames_dir (dir, "texmf"))
end
- logreport ("term", 3, "db", "Collected %d files.", #files)
+ logreport ("both", 3, "db", "Collected %d files.", #files)
return files
end