2020-05-06 11:48:49 +02:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
2016-12-27 17:03:37 +01:00
|
|
|
From: Alfie Cleveland <alfeh@me.com>
|
|
|
|
Date: Tue, 27 Dec 2016 01:57:57 +0000
|
|
|
|
Subject: [PATCH] Properly fix item duplication bug
|
|
|
|
|
|
|
|
Credit to prplz for figuring out the real issue
|
|
|
|
|
2021-03-16 08:19:45 +01:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/level/EntityPlayer.java b/src/main/java/net/minecraft/server/level/EntityPlayer.java
|
|
|
|
index fa315f10219dc340da4f51a8d4a78e1f33023bb3..afa87cf70ad978161853771c59f5a4906733cab3 100644
|
|
|
|
--- a/src/main/java/net/minecraft/server/level/EntityPlayer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/level/EntityPlayer.java
|
|
|
|
@@ -2059,8 +2059,8 @@ public class EntityPlayer extends EntityHuman implements ICrafting {
|
|
|
|
}
|
2016-12-27 17:03:37 +01:00
|
|
|
|
|
|
|
@Override
|
2021-03-16 08:19:45 +01:00
|
|
|
- public boolean isFrozen() {
|
2016-12-27 17:03:37 +01:00
|
|
|
- return super.isFrozen() || !getBukkitEntity().isOnline();
|
2021-03-16 08:19:45 +01:00
|
|
|
+ protected boolean isFrozen() {
|
2016-12-27 17:03:37 +01:00
|
|
|
+ return super.isFrozen() || (this.playerConnection != null && this.playerConnection.isDisconnected()); // Paper
|
|
|
|
}
|
|
|
|
|
2017-08-05 05:10:30 +02:00
|
|
|
@Override
|
2021-03-16 08:19:45 +01:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/network/PlayerConnection.java b/src/main/java/net/minecraft/server/network/PlayerConnection.java
|
2021-04-18 11:02:48 +02:00
|
|
|
index 908d52f48b4bf2ddd638f2d718e1f6cb6148ce0a..8a5a1ca08073d1a4df949a53fbf7e75339bf2761 100644
|
2021-03-16 08:19:45 +01:00
|
|
|
--- a/src/main/java/net/minecraft/server/network/PlayerConnection.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/network/PlayerConnection.java
|
2021-04-18 11:02:48 +02:00
|
|
|
@@ -2819,7 +2819,7 @@ public class PlayerConnection implements PacketListenerPlayIn {
|
2018-07-17 22:32:05 +02:00
|
|
|
}
|
2016-12-27 17:03:37 +01:00
|
|
|
|
|
|
|
public final boolean isDisconnected() {
|
|
|
|
- return !this.player.joining && !this.networkManager.isConnected();
|
|
|
|
+ return (!this.player.joining && !this.networkManager.isConnected()) || this.processedDisconnect; // Paper
|
|
|
|
}
|
2018-07-17 22:32:05 +02:00
|
|
|
// CraftBukkit end
|
2019-04-27 08:26:04 +02:00
|
|
|
|