diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-08-28 20:19:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-08-28 20:19:00 +0200 |
commit | 2c6477867c9a9e84a1e48134f062ef7706de1499 (patch) | |
tree | 07431a9bab4e392ef0671a4d98fbb911dc39e985 /tex/generic | |
parent | 7eb8593f39b61673c90d12c2fc590933cedf3db0 (diff) | |
download | context-2c6477867c9a9e84a1e48134f062ef7706de1499.tar.gz |
beta 2014.08.28 20:19
Diffstat (limited to 'tex/generic')
-rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 8f6709c1d..be74c9c05 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 08/27/14 12:34:38 +-- merge date : 08/28/14 20:19:26 do -- begin closure to overcome local limits and interference @@ -2581,11 +2581,11 @@ function string.booleanstring(str) return str=="yes" or str=="on" or str=="t" end end -function string.is_boolean(str,default) +function string.is_boolean(str,default,strict) if type(str)=="string" then - if str=="true" or str=="yes" or str=="on" or str=="t" or str=="1" then + if str=="true" or str=="yes" or str=="on" or str=="t" or (not strict and str=="1") then return true - elseif str=="false" or str=="no" or str=="off" or str=="f" or str=="0" then + elseif str=="false" or str=="no" or str=="off" or str=="f" or (not strict and str=="0") then return false end end |