diff --git a/src/pocketmine/player/Player.php b/src/pocketmine/player/Player.php index 5f2b57d85..96b5e6ec7 100644 --- a/src/pocketmine/player/Player.php +++ b/src/pocketmine/player/Player.php @@ -2346,6 +2346,11 @@ class Player extends Human implements CommandSender, ChunkLoader, ChunkListener, return []; } + public function __destruct(){ + parent::__destruct(); + $this->logger->debug("Destroyed by garbage collector"); + } + public function canSaveWithChunk() : bool{ return false; }