Merge branch 'release/3.2'

This commit is contained in:
Dylan K. Taylor
2018-08-19 16:03:04 +01:00
4 changed files with 8 additions and 1 deletions

View File

@@ -1031,6 +1031,7 @@ class Server{
return false;
}
/** @see LevelProvider::__construct() */
$level = new Level($this, $name, new $providerClass($path));
$this->levels[$level->getId()] = $level;
@@ -1078,6 +1079,7 @@ class Server{
/** @var LevelProvider $providerClass */
$providerClass::generate($path, $name, $seed, $generator, $options);
/** @see LevelProvider::__construct() */
$level = new Level($this, $name, new $providerClass($path));
$this->levels[$level->getId()] = $level;