diff options
| author | bell07 <web.alexander@web.de> | 2018-03-11 19:53:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-11 19:53:52 +0100 |
| commit | 8d708ee4059137dddbc1cde1e2f5c7338f82583d (patch) | |
| tree | 9a4fd82dc06c6eeeeb2c59bf8b408358a8981ebd | |
| parent | 5a640bc12da36ac35c33051cffaf72d82fb2cafd (diff) | |
| parent | 9b9daa7494bd8b5b24b526ebb7b305e1a6ba7960 (diff) | |
Merge pull request #10 from minetest-mods/player_assignment_not_case_sensitive
Compare player assignment non case sensitive
| -rw-r--r-- | skin_meta_api.lua | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/skin_meta_api.lua b/skin_meta_api.lua index ec57b58..d9ca875 100644 --- a/skin_meta_api.lua +++ b/skin_meta_api.lua @@ -73,7 +73,6 @@ end function skin_class:is_applicable_for_player(playername) local assigned_player = self:get_meta("playername") - return assigned_player == nil or - assigned_player == playername or - assigned_player == true + return assigned_player == nil or assigned_player == true or + (assigned_player:lower() == playername:lower()) end |