From 94e8623c7506a535849431ab357027cad824bb45 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Tue, 17 Jul 2018 12:14:26 +0100
Subject: [PATCH] Server: account for default provider being missing

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

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index aa24df888..cce6fca0f 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1070,6 +1070,9 @@ class Server{
 
 		if(($providerClass = LevelProviderManager::getProviderByName($this->getProperty("level-settings.default-format", "pmanvil"))) === null){
 			$providerClass = LevelProviderManager::getProviderByName("pmanvil");
+			if($providerClass === null){
+				throw new \InvalidStateException("Default level provider has not been registered");
+			}
 		}
 
 		try{