diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-15 08:17:17 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-15 08:17:17 +0200 |
| commit | 60e5dfe5a271997fe530197bbd810862125fb795 (patch) | |
| tree | 59ef750362a49f37d129122ebb8d21d7a5e3a798 /src/luaotfload-database.lua | |
| parent | 34ee3fabd8fe483e7773b127d9d7fca96379f07d (diff) | |
| download | luaotfload-60e5dfe5a271997fe530197bbd810862125fb795.tar.gz | |
[main] choose resolver at runtime
Diffstat (limited to 'src/luaotfload-database.lua')
| -rw-r--r-- | src/luaotfload-database.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/luaotfload-database.lua b/src/luaotfload-database.lua index c4075dc..59e2a4d 100644 --- a/src/luaotfload-database.lua +++ b/src/luaotfload-database.lua @@ -484,6 +484,8 @@ load_names = function (dry_run) if data then report ("log", 0, "db", "Font names database loaded from %s", foundname) + report ("term", 3, "db", + "Font names database loaded from %s", foundname) report ("info", 3, "db", "Loading took %0.f ms.", 1000 * (osgettimeofday () - starttime)) |