diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-02 21:41:58 +0200 | 
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-02 21:41:58 +0200 | 
| commit | 2a31ed63dccd4eb59c58f2b30c7b5170fe246e24 (patch) | |
| tree | cb50011fd949d6ab71daccd19ddd26679c07a9d4 | |
| parent | c2e57ff4e741bf8f2a44cf98101bce0447c72190 (diff) | |
| download | luaotfload-2a31ed63dccd4eb59c58f2b30c7b5170fe246e24.tar.gz | |
[db] fix missing write after auto-update
fixes issues like this one: http://tex.stackexchange.com/q/126467/14066
| -rw-r--r-- | luaotfload-database.lua | 8 | 
1 files changed, 7 insertions, 1 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index ac2d0db..ab0d32c 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -400,7 +400,13 @@ load_names = function (dry_run)                  nms_version, db_version)              if not fonts_reloaded then                  report("both", 0, "db", [[Force rebuild]]) -                return update_names({ }, true, false) +                data = update_names({ }, true, false) +                local success = save_names (data) +                if not success then +                    report ("both", 0, "db", +                            "Database creation unsuccessful.") +                end +                return data              end          end      else  | 
