Server: account for default provider being missing

This commit is contained in:
Dylan K. Taylor 2018-07-17 12:14:26 +01:00
parent 921f7e8f6a
commit 94e8623c75

View File

@ -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{