Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove case sensitivity on servername #62

Open
invicta-nz opened this issue Sep 17, 2020 · 1 comment
Open

Remove case sensitivity on servername #62

invicta-nz opened this issue Sep 17, 2020 · 1 comment
Labels
bug Something isn't working

Comments

@invicta-nz
Copy link
Collaborator

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 invicta-nz added the bug Something isn't working label Sep 17, 2020
@makupi
Copy link
Owner

makupi commented Sep 17, 2020

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants