diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:46:26 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-07-13 12:46:26 +0200 |
commit | 51a13c452989be9baf69c67923e655357b0526bd (patch) | |
tree | 5b7acffa35857141dd51f3a73a186712c07d6b4e | |
parent | 13799ebd44c93bb67cd10a362a8755175676bb59 (diff) | |
download | luaotfload-51a13c452989be9baf69c67923e655357b0526bd.tar.gz |
[parsers] convert dashes to underscores in ini parser
-rw-r--r-- | src/luaotfload-parsers.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/luaotfload-parsers.lua b/src/luaotfload-parsers.lua index 180adac..3eeb614 100644 --- a/src/luaotfload-parsers.lua +++ b/src/luaotfload-parsers.lua @@ -632,8 +632,8 @@ local comment_char = semicolon + gartenzaun local comment_line = ws * comment_char * (1 - eol)^0 * eol local blank_line = ws * eol local skip_line = comment_line + blank_line -local ini_id_char = alpha + dash -local ini_id = (alpha * ini_id_char^0) / stringlower +local ini_id_char = alpha + (dash / "_") +local ini_id = Cs(alpha * ini_id_char^0) / stringlower local ini_value_char = (valid_escapes + (1 - newline - backslash - comment_char)) local ini_value = (Cs (ini_value_char^0) / string.strip) * (comment_char * (1 - eol)^0)^-1 |