2024-08-09 07:00:00 +10:00
From 8c286289eb7f99415d59702f2b80a6252e434a04 Mon Sep 17 00:00:00 2001
2021-11-22 09:00:00 +11:00
From: md_5 <git@md-5.net>
Date: Mon, 13 Jul 2015 19:05:15 +1000
Subject: [PATCH] Use Map for getPlayer(String) lookup.
diff --git a/src/main/java/net/minecraft/server/players/PlayerList.java b/src/main/java/net/minecraft/server/players/PlayerList.java
2024-06-24 06:43:00 +10:00
index c57272380b..1eefc37bd6 100644
2021-11-22 09:00:00 +11:00
--- a/src/main/java/net/minecraft/server/players/PlayerList.java
+++ b/src/main/java/net/minecraft/server/players/PlayerList.java
2024-04-24 01:15:00 +10:00
@@ -158,6 +158,7 @@ public abstract class PlayerList {
2021-11-22 09:00:00 +11:00
// CraftBukkit start
private CraftServer cserver;
+ private final Map<String,EntityPlayer> playersByName = new java.util.HashMap<>();
2022-12-08 03:00:00 +11:00
public PlayerList(MinecraftServer minecraftserver, LayeredRegistryAccess<RegistryLayer> layeredregistryaccess, WorldNBTStorage worldnbtstorage, int i) {
2021-11-22 09:00:00 +11:00
this.cserver = minecraftserver.server = new CraftServer((DedicatedServer) minecraftserver, this);
2024-04-24 01:15:00 +10:00
@@ -281,6 +282,7 @@ public abstract class PlayerList {
2023-03-15 03:30:00 +11:00
2023-06-09 08:39:13 +10:00
// entityplayer.connection.send(ClientboundPlayerInfoUpdatePacket.createPlayerInitializing(this.players)); // CraftBukkit - replaced with loop below
2021-11-22 09:00:00 +11:00
this.players.add(entityplayer);
+ this.playersByName.put(entityplayer.getScoreboardName().toLowerCase(java.util.Locale.ROOT), entityplayer); // Spigot
this.playersByUUID.put(entityplayer.getUUID(), entityplayer);
2022-12-08 03:00:00 +11:00
// this.broadcastAll(ClientboundPlayerInfoUpdatePacket.createPlayerInitializing(List.of(entityplayer))); // CraftBukkit - replaced with loop below
2021-11-22 09:00:00 +11:00
2024-06-14 01:05:00 +10:00
@@ -525,6 +527,7 @@ public abstract class PlayerList {
2021-11-22 09:00:00 +11:00
worldserver.removePlayerImmediately(entityplayer, Entity.RemovalReason.UNLOADED_WITH_PLAYER);
entityplayer.getAdvancements().stopListening();
this.players.remove(entityplayer);
+ this.playersByName.remove(entityplayer.getScoreboardName().toLowerCase(java.util.Locale.ROOT)); // Spigot
this.server.getCustomBossEvents().onPlayerDisconnect(entityplayer);
UUID uuid = entityplayer.getUUID();
EntityPlayer entityplayer1 = (EntityPlayer) this.playersByUUID.get(uuid);
2024-06-14 01:05:00 +10:00
@@ -678,6 +681,7 @@ public abstract class PlayerList {
public EntityPlayer respawn(EntityPlayer entityplayer, boolean flag, Entity.RemovalReason entity_removalreason, RespawnReason reason, Location location) {
2021-11-22 09:00:00 +11:00
entityplayer.stopRiding(); // CraftBukkit
this.players.remove(entityplayer);
+ this.playersByName.remove(entityplayer.getScoreboardName().toLowerCase(java.util.Locale.ROOT)); // Spigot
2024-06-14 01:05:00 +10:00
entityplayer.serverLevel().removePlayerImmediately(entityplayer, entity_removalreason);
/* CraftBukkit start
DimensionTransition dimensiontransition = entityplayer.findRespawnPositionAndUseSpawnBlock(flag, DimensionTransition.DO_NOTHING);
2024-06-24 06:43:00 +10:00
@@ -753,6 +757,7 @@ public abstract class PlayerList {
2021-11-22 09:00:00 +11:00
if (!entityplayer.connection.isDisconnected()) {
2024-06-14 01:05:00 +10:00
worldserver.addRespawnedPlayer(entityplayer1);
2021-11-22 09:00:00 +11:00
this.players.add(entityplayer1);
+ this.playersByName.put(entityplayer1.getScoreboardName().toLowerCase(java.util.Locale.ROOT), entityplayer1); // Spigot
this.playersByUUID.put(entityplayer1.getUUID(), entityplayer1);
}
// entityplayer1.initInventoryMenu();
2024-06-24 06:43:00 +10:00
@@ -977,17 +982,7 @@ public abstract class PlayerList {
2021-11-22 09:00:00 +11:00
@Nullable
public EntityPlayer getPlayerByName(String s) {
2023-12-06 03:40:00 +11:00
- int i = this.players.size();
2021-11-22 09:00:00 +11:00
-
2023-12-06 03:40:00 +11:00
- for (int j = 0; j < i; ++j) {
- EntityPlayer entityplayer = (EntityPlayer) this.players.get(j);
2021-11-22 09:00:00 +11:00
-
2023-12-06 03:40:00 +11:00
- if (entityplayer.getGameProfile().getName().equalsIgnoreCase(s)) {
- return entityplayer;
2021-11-22 09:00:00 +11:00
- }
2023-12-06 03:40:00 +11:00
- }
2021-11-22 09:00:00 +11:00
-
2023-12-06 03:40:00 +11:00
- return null;
2021-11-22 09:00:00 +11:00
+ return this.playersByName.get(s.toLowerCase(java.util.Locale.ROOT)); // Spigot
}
public void broadcast(@Nullable EntityHuman entityhuman, double d0, double d1, double d2, double d3, ResourceKey<World> resourcekey, Packet<?> packet) {
--
2024-08-09 07:00:00 +10:00
2.46.0
2021-11-22 09:00:00 +11:00