diff options
author | Khaled Hosny <khaledhosny@eglug.org> | 2010-02-26 15:04:49 +0200 |
---|---|---|
committer | Khaled Hosny <khaledhosny@eglug.org> | 2010-02-26 15:04:49 +0200 |
commit | fe0fde65f066d5e9a107a26eaec8fdbfe195f92e (patch) | |
tree | 20aebf7f602d7828ee34d5dd977dde69264a114a /otfl-font-dum.lua | |
parent | 2c858836734c21010a3b67ae069aa1aa95f82cc3 (diff) | |
download | luaotfload-fe0fde65f066d5e9a107a26eaec8fdbfe195f92e.tar.gz |
Checksum loaded fonts
Store checksums of already loaded fonts in the database to avoids
reloading them, this isn't much faster but it avoids reloading the fonts
and the huge memory consumption. Is there a faster way to hash a file?
Diffstat (limited to 'otfl-font-dum.lua')
-rw-r--r-- | otfl-font-dum.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otfl-font-dum.lua b/otfl-font-dum.lua index 5b83b3b..5c0d1ed 100644 --- a/otfl-font-dum.lua +++ b/otfl-font-dum.lua @@ -48,7 +48,7 @@ end fonts.names = fonts.names or { } -fonts.names.version = 2.002 -- not the same as in context +fonts.names.version = 2.003 -- not the same as in context fonts.names.basename = "otfl-names.lua" fonts.names.new_to_old = { } fonts.names.old_to_new = { } |