pavlov-bot icon indicating copy to clipboard operation
pavlov-bot copied to clipboard

Remove case sensitivity on servername

Open invicta-nz opened this issue 5 years ago • 1 comments

Tonight during a league game a creative captain discovered an inconsistency. We have eliminated case sensitivity for most elements of commands, but not for server names. So if a player has Captain-snd1 role in discord it works if they call ;matchsetup team1 team2 snd1, but not if they call ;matchsetup team1 team2 SND1

invicta-nz avatar Sep 17 '20 13:09 invicta-nz

~~That's odd. I'm 99% certain that server names should be case-insensitive, just checked the code again and it looks fine to me.~~ I'll give it a test in a bit. Nevermind, I misunderstood, the error doesn't occur when checking the server, but when checking the role. The argument is passed directly so SND1 checks for Captain-SND1 not Captain-snd1. Will fix it.

makupi avatar Sep 17 '20 13:09 makupi