From 7c8586684e3ddb1deb54b7ae56030f83886cfb6e Mon Sep 17 00:00:00 2001 From: madcode15 Date: Sat, 4 Feb 2017 13:31:00 -0500 Subject: [PATCH] Fixed resource not closed after memory dump (#324) --- src/pocketmine/MemoryManager.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/pocketmine/MemoryManager.php b/src/pocketmine/MemoryManager.php index cf1495fd8..b93f4b25a 100644 --- a/src/pocketmine/MemoryManager.php +++ b/src/pocketmine/MemoryManager.php @@ -284,6 +284,8 @@ class MemoryManager{ echo "[Dump] Wrote " . count($objects) . " objects\n"; }while($continue); + + fclose($obData); file_put_contents($outputFolder . "/staticProperties.js", json_encode($staticProperties, JSON_UNESCAPED_SLASHES | JSON_PRETTY_PRINT)); file_put_contents($outputFolder . "/serverEntry.js", json_encode($data, JSON_UNESCAPED_SLASHES | JSON_PRETTY_PRINT));