diff --git a/src/world/format/io/leveldb/LevelDB.php b/src/world/format/io/leveldb/LevelDB.php index 3e61de8a0..04a1fd865 100644 --- a/src/world/format/io/leveldb/LevelDB.php +++ b/src/world/format/io/leveldb/LevelDB.php @@ -63,6 +63,7 @@ use function strlen; use function substr; use function trim; use function unpack; +use const DIRECTORY_SEPARATOR; use const LEVELDB_ZLIB_RAW_COMPRESSION; class LevelDB extends BaseWorldProvider implements WritableWorldProvider{ @@ -132,7 +133,7 @@ class LevelDB extends BaseWorldProvider implements WritableWorldProvider{ } protected function loadLevelData() : WorldData{ - return new BedrockWorldData($this->getPath() . "level.dat"); + return new BedrockWorldData($this->getPath() . DIRECTORY_SEPARATOR . "level.dat"); } public function getWorldHeight() : int{ diff --git a/src/world/format/io/region/RegionWorldProvider.php b/src/world/format/io/region/RegionWorldProvider.php index 0fc1aed40..735904d6e 100644 --- a/src/world/format/io/region/RegionWorldProvider.php +++ b/src/world/format/io/region/RegionWorldProvider.php @@ -41,6 +41,7 @@ use function scandir; use function strrpos; use function substr; use function time; +use const DIRECTORY_SEPARATOR; use const SCANDIR_SORT_NONE; abstract class RegionWorldProvider extends BaseWorldProvider{ @@ -87,7 +88,7 @@ abstract class RegionWorldProvider extends BaseWorldProvider{ protected $regions = []; protected function loadLevelData() : WorldData{ - return new JavaWorldData($this->getPath() . "level.dat"); + return new JavaWorldData($this->getPath() . DIRECTORY_SEPARATOR . "level.dat"); } public function doGarbageCollection() : void{