diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-26 13:33:58 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-26 13:33:58 +0200 |
| commit | fcf94f9e8fb637a6b0d1d03a6a650c5e37d63c93 (patch) | |
| tree | 62707b6fed501a515419a732116430d9da9dbe7b /src | |
| parent | b8dcba5de882bd04b27472a3fdc3a562c55d1ad8 (diff) | |
| download | luaotfload-fcf94f9e8fb637a6b0d1d03a6a650c5e37d63c93.tar.gz | |
[db,tool,conf] fix thinko in db update suppression
The ``db.update-live`` option caused all db updates, even forced ones to
fail due to a missing check for the kind of run.
Diffstat (limited to 'src')
| -rw-r--r-- | src/luaotfload-configuration.lua | 2 | ||||
| -rw-r--r-- | src/luaotfload-database.lua | 6 | ||||
| -rwxr-xr-x | src/luaotfload-tool.lua | 2 |
3 files changed, 6 insertions, 4 deletions
diff --git a/src/luaotfload-configuration.lua b/src/luaotfload-configuration.lua index 0b2da64..bf841f7 100644 --- a/src/luaotfload-configuration.lua +++ b/src/luaotfload-configuration.lua @@ -151,6 +151,7 @@ local default_config = { definer = "patch", log_level = 0, color_callback = "pre_linebreak_filter", + live = true, }, misc = { bisect = false, @@ -422,6 +423,7 @@ local option_spec = { }, }, run = { + live = { in_t = boolean_t, }, --- false for the tool, true for TeX run resolver = { in_t = string_t, out_t = string_t, diff --git a/src/luaotfload-database.lua b/src/luaotfload-database.lua index 4c5522e..099c256 100644 --- a/src/luaotfload-database.lua +++ b/src/luaotfload-database.lua @@ -3091,9 +3091,9 @@ end update_names = function (currentnames, force, dry_run) local targetnames - if config.luaotfload.db.update_live == false then - report ("info", 2, "db", - "Skipping database update.") + local conf = config.luaotfload + if conf.run.live ~= false and conf.db.update_live == false then + report ("info", 2, "db", "Skipping database update.") --- skip all db updates return currentnames or name_index end diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index 02c5a45..2330aee 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -1411,7 +1411,7 @@ local process_cmdline = function ( ) -- unit -> jobspec query = "", log_level = nil, bisect = nil, - config = { db = { }, misc = { }, run = { }, paths = { } }, + config = { db = { }, misc = { }, run = { live = false }, paths = { } }, } local long_options = { |