2019-01-18 05:59:21 +01:00
|
|
|
--- a/net/minecraft/server/EntitySelector.java
|
|
|
|
+++ b/net/minecraft/server/EntitySelector.java
|
2019-04-23 04:00:00 +02:00
|
|
|
@@ -64,7 +64,7 @@
|
2019-01-18 05:59:21 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private void e(CommandListenerWrapper commandlistenerwrapper) throws CommandSyntaxException {
|
2019-04-23 04:00:00 +02:00
|
|
|
- if (this.checkPermissions && !commandlistenerwrapper.hasPermission(2)) {
|
|
|
|
+ if (this.checkPermissions && !commandlistenerwrapper.hasPermission(2, "minecraft.command.selector")) { // CraftBukkit
|
2019-01-18 05:59:21 +01:00
|
|
|
throw ArgumentEntity.f.create();
|
|
|
|
}
|
|
|
|
}
|