diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-24 18:58:02 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-24 18:58:02 +0200 |
commit | 24a3ecb19d3ca204ac4432e8f2f0b2bf53954b05 (patch) | |
tree | 43de30ae2b5d8d1c06599e51c98538718a95a982 /fontdbutil.lua | |
parent | a70a14dcbcdaf570bbc235a45c7fc5dc842efb11 (diff) | |
download | luaotfload-24a3ecb19d3ca204ac4432e8f2f0b2bf53954b05.tar.gz |
catch irregular ``file:`` lookups
we now index base names and extensionless base names of font files as
well so as to work around quirks of the Xetex compatibility layer.
this will probably get removed after the syntax parser is redone.
Diffstat (limited to 'fontdbutil.lua')
-rwxr-xr-x | fontdbutil.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/fontdbutil.lua b/fontdbutil.lua index fd01abb..fed1840 100755 --- a/fontdbutil.lua +++ b/fontdbutil.lua @@ -85,6 +85,7 @@ We intercept them with dummies. local dummy_function = function ( ) end local backup_write, backup_write_nl = texio.write, texio.write_nl + texio.write, texio.write_nl = dummy_function, dummy_function require"luaotfload-basics-gen.lua" texio.write, texio.write_nl = backup_write, backup_write_nl @@ -239,7 +240,7 @@ actions.generate = function (job) local fontnames, savedname fontnames = names.update(fontnames, job.force_reload) logs.names_report("log", 0, "db", - "fonts in the database", "%i", #fontnames.mappings) + "Fonts in the database: %i", #fontnames.mappings) savedname = names.save(fontnames) if savedname then --- FIXME have names.save return bool return true, true |