summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-09-06 18:45:04 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-09-06 18:45:04 +0200
commit9613f4348a811be2f2751873cd98072a9378c9d4 (patch)
tree8497cf15dfa1a4756c94801689b9c9744504a1c0
parent5a4a4188ea6b7796cd4795c84866e8b0db553949 (diff)
downloadlualibs-9613f4348a811be2f2751873cd98072a9378c9d4.tar.gz
adapt handling of default in settings
-rw-r--r--lualibs.dtx20
1 files changed, 17 insertions, 3 deletions
diff --git a/lualibs.dtx b/lualibs.dtx
index 6298564..45283cf 100644
--- a/lualibs.dtx
+++ b/lualibs.dtx
@@ -445,9 +445,23 @@ lualibs.module_info = {
config = config or { }
config.lualibs = config.lualibs or { }
-lualibs.prefer_merged = config.lualibs.prefer_merged or true
-lualibs.load_extended = config.lualibs.load_extended or true
-config.lualibs.verbose = config.lualibs.verbose or false
+if config.lualibs.prefer_merged ~= nil then
+ lualibs.prefer_merged = config.lualibs.prefer_merged
+else
+ lualibs.prefer_merged = true
+end
+
+if config.lualibs.load_extended ~= nil then
+ lualibs.load_extended = config.lualibs.load_extended
+else
+ lualibs.load_extended = true
+end
+
+if config.lualibs.verbose ~= nil then
+ config.lualibs.verbose = config.lualibs.verbose
+else
+ config.lualibs.verbose = false
+end
% \end{macrocode}
% The lualibs may be loaded in scripts.