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

Handle cancellation of ServerCommandEvent properly #3724

Conversation

TheDGOfficial
Copy link
Contributor

Description

The ServerCommandEvent was made Cancellable somewhere between 1.8 and 1.8.8 but not respected on Skript

Since EffCancelEvent checks for Cancellable as interface, it worked, but some other places on Skript checked manually that if ServerCommandEvent is cancelled by determining if the command is empty or not.

Related Spigot commit:
https://hub.spigotmc.org/stash/projects/SPIGOT/repos/bukkit/commits/c31fcfe3a19c4ee597df75e750af1542ac020b92


Target Minecraft Versions: any
Requirements: none
Related Issues: none

The ServerCommandEvent was made Cancellable somewhere between 1.8 and 1.8.8 but not respected on Skript

Since EffCancelEvent checks for Cancellable as interface, it worked, but some other places on Skript checked manually that if ServerCommandEvent is cancelled by determining if the command is empty or not.

Related Spigot commit:
https://hub.spigotmc.org/stash/projects/SPIGOT/repos/bukkit/commits/c31fcfe3a19c4ee597df75e750af1542ac020b92
@TPGamesNL TPGamesNL added 2.5 enhancement Feature request, an issue about something that could be improved, or a PR improving something. labels Feb 19, 2021
Copy link
Member

@FranKusmiruk FranKusmiruk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@Whimsyturtle Whimsyturtle merged commit 5ab6b59 into SkriptLang:master Mar 19, 2021
@TheDGOfficial TheDGOfficial deleted the handle-cancellation-of-servercommandevent-properly branch April 12, 2021 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature request, an issue about something that could be improved, or a PR improving something.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants