Spaces:
Build error
Build error
File size: 2,281 Bytes
d46f4a3 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 |
package net.minecraft.server.commands;
import com.mojang.authlib.GameProfile;
import com.mojang.brigadier.CommandDispatcher;
import com.mojang.brigadier.context.CommandContext;
import com.mojang.brigadier.exceptions.CommandSyntaxException;
import com.mojang.brigadier.exceptions.SimpleCommandExceptionType;
import com.mojang.brigadier.suggestion.SuggestionsBuilder;
import java.util.Collection;
import net.minecraft.commands.CommandSourceStack;
import net.minecraft.commands.Commands;
import net.minecraft.commands.SharedSuggestionProvider;
import net.minecraft.commands.arguments.GameProfileArgument;
import net.minecraft.network.chat.Component;
import net.minecraft.server.players.PlayerList;
public class DeOpCommands {
private static final SimpleCommandExceptionType ERROR_NOT_OP = new SimpleCommandExceptionType(Component.translatable("commands.deop.failed"));
public static void register(CommandDispatcher<CommandSourceStack> p_136889_) {
p_136889_.register(
Commands.literal("deop")
.requires(p_136896_ -> p_136896_.hasPermission(3))
.then(
Commands.argument("targets", GameProfileArgument.gameProfile())
.suggests((p_136893_, p_136894_) -> SharedSuggestionProvider.suggest(p_136893_.getSource().getServer().getPlayerList().getOpNames(), p_136894_))
.executes(p_136891_ -> deopPlayers(p_136891_.getSource(), GameProfileArgument.getGameProfiles(p_136891_, "targets")))
)
);
}
private static int deopPlayers(CommandSourceStack p_136898_, Collection<GameProfile> p_136899_) throws CommandSyntaxException {
PlayerList playerlist = p_136898_.getServer().getPlayerList();
int i = 0;
for (GameProfile gameprofile : p_136899_) {
if (playerlist.isOp(gameprofile)) {
playerlist.deop(gameprofile);
i++;
p_136898_.sendSuccess(() -> Component.translatable("commands.deop.success", p_136899_.iterator().next().getName()), true);
}
}
if (i == 0) {
throw ERROR_NOT_OP.create();
} else {
p_136898_.getServer().kickUnlistedPlayers(p_136898_);
return i;
}
}
} |