From 1ebc101ded143fbdeb3bdf1e87351b1a8f420eb8 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Tue, 22 Jan 2019 13:38:50 +0000
Subject: [PATCH] fixed crash on dev build self-shutdown

---
 src/pocketmine/Server.php | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index d8d6ddc36..ba197174c 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1710,9 +1710,11 @@ class Server{
 				$player->close($player->getLeaveMessage(), $this->getProperty("settings.shutdown-message", "Server closed"));
 			}
 
-			$this->getLogger()->debug("Unloading all levels");
-			foreach($this->levelManager->getLevels() as $level){
-				$this->levelManager->unloadLevel($level, true);
+			if($this->levelManager instanceof LevelManager){
+				$this->getLogger()->debug("Unloading all levels");
+				foreach($this->levelManager->getLevels() as $level){
+					$this->levelManager->unloadLevel($level, true);
+				}
 			}
 
 			$this->getLogger()->debug("Removing event handlers");