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

Made getting players by name case-insensitive #457

Merged
merged 2 commits into from
Jan 5, 2025

Conversation

RealVaprant
Copy link
Contributor

@RealVaprant RealVaprant commented Jan 5, 2025

Description

Made the player name and the parameter lower case when matching them. This way, things like player arguments in commands don't need to be case-sensitive. Overall a revolutionary change.

Testing

Please follow our Coding Guidelines

@Snowiiii
Copy link
Member

Snowiiii commented Jan 5, 2025

I'm still not sure about this, There was an PR for this recently #439. But i'm thinking about plugin devs may wanting to have the case checked

@RealVaprant
Copy link
Contributor Author

wdym? not sure about making player arguments case insensitive in commands? or altering the function used to get players?

I believe the player arguments in commands should be case-insensitive one way or another, as it is in Vanilla, otherwise, it would be an annoying inconvenience.

@Snowiiii
Copy link
Member

Snowiiii commented Jan 5, 2025

I mean for arguments it's probably fine, just was thinking that someone many wants to match with case in the future. anyway. Thank you @RealVaprant 👍

@Snowiiii Snowiiii merged commit 6a34f6c into Pumpkin-MC:master Jan 5, 2025
9 checks passed
@RealVaprant
Copy link
Contributor Author

ig on the next update you could just make a new function for not ignoring cases. Though I think for now, ignoring cases would be better for default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants