avoid crashing in forceShutdown() if properties wasn't initialized yet

This commit is contained in:
Dylan K. Taylor 2018-04-14 12:45:03 +01:00
parent c276ef2b7f
commit 1e2122d854

View File

@ -2041,7 +2041,7 @@ class Server{
$this->scheduler->mainThreadHeartbeat(PHP_INT_MAX);
}
if($this->properties->hasChanged()){
if($this->properties !== null and $this->properties->hasChanged()){
$this->getLogger()->debug("Saving properties");
$this->properties->save();
}