Upstream/Minestom
1
0
Fork 0
mirror of https://github.com/Minestom/Minestom.git synced 2025-02-08 16:32:07 +01:00
Code Issues Projects Releases Wiki Activity

Merge pull request #30 from Rems19/patch-1

Browse Source 
Fix removePlayer in ConnectionManager
This commit is contained in:
TheMode 2020-08-07 07:57:35 +02:00 committed by GitHub
commit 12ccbfc80e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/net/minestom/server/network/ConnectionManager.java
View File

@ -247,6 +247,6 @@ public final class ConnectionManager {
return;
this.players.remove(player);
this.connectionPlayerMap.remove(player);
this.connectionPlayerMap.remove(connection);
}
}