From 7eed65970869ede47697d448e88fa4722418b7f3 Mon Sep 17 00:00:00 2001 From: Marius Date: Tue, 5 Jun 2012 23:00:15 +0300 Subject: beta 2012.06.05 21:45 --- tex/generic/context/luatex/luatex-fonts-merged.lua | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'tex/generic') diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 46ff6c4c2..c77cd4626 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 : 06/05/12 17:36:46 +-- merge date : 06/05/12 21:45:24 do -- begin closure to overcome local limits and interference @@ -118,6 +118,11 @@ function string.topattern(str,lowercase,strict) end end + +function string.valid(str,default) + return (type(str) == "string" and str ~= "" and str) or default or nil +end + -- obsolete names: string.quote = string.quoted -- cgit v1.2.3