diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-26 17:32:18 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-26 17:32:18 +0200 |
commit | 7d4e2eecc690c3e44f64c16b212ecf13b030f731 (patch) | |
tree | 77e8a216849c60c1717134d2ae0dfaaa86da5e42 /luaotfload-tool.lua | |
parent | 115343e46ba6276d10db59b2994499c5d2edc8ca (diff) | |
download | luaotfload-7d4e2eecc690c3e44f64c16b212ecf13b030f731.tar.gz |
stript trailing slashes before joining paths
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-x | luaotfload-tool.lua | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 801ae72..78b1a61 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -1028,8 +1028,7 @@ do return lpegmatch (p_permissions, raw) end - local trailingslashes = P"/"^1 * P(-1) - local stripslashes = C((1 - trailingslashes)^0) + local stripslashes = names.patterns.stripslashes local get_permissions = function (t, location) if stringsub (location, #location) == "/" then |