mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Fix unused parameter in PlayerList#remove

Browse source
This commit is contained in:
Jason Penilla 2024-10-27 12:09:27 -07:00
parent f8f230a0d0
commit 29bf7beba9
No known key found for this signature in database
GPG key ID: 0E75A301420E48F8
16 changed files with 25 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
patches/server/0854-Add-Listing-API-for-Player.patch
View file

@ -85,7 +85,7 @@ index 29b465fc1dc50e0e84ddb889c5303e80fe662874..4d67d98257b2cb9045d03c999cfd4ba2
static class EntryBuilder {
diff --git a/src/main/java/net/minecraft/server/players/PlayerList.java b/src/main/java/net/minecraft/server/players/PlayerList.java
index db19a2483f37fb3554f86577e44162f6fe29592a..409010fae4b175ba7dcbe0f38676022ed9b77b1d 100644
index d92fb522d88a790d9cea2e6c4edad30bb73298fc..a20e5f896cfbd0a3e60b741562194e30257449c1 100644
--- a/src/main/java/net/minecraft/server/players/PlayerList.java
+++ b/src/main/java/net/minecraft/server/players/PlayerList.java
@@ -362,14 +362,22 @@ public abstract class PlayerList {