RegionLoader: fixed 2 phpstan level 7 errors (eof reading region header)

This commit is contained in:
Dylan K. Taylor 2020-06-15 15:09:37 +01:00
parent 9bb8a8f761
commit b902f9ded0
2 changed files with 2 additions and 12 deletions

View File

@ -265,8 +265,8 @@ class RegionLoader{
fseek($this->filePointer, 0);
$headerRaw = fread($this->filePointer, self::REGION_HEADER_LENGTH);
if(($len = strlen($headerRaw)) !== self::REGION_HEADER_LENGTH){
throw new CorruptedRegionException("Invalid region file header, expected " . self::REGION_HEADER_LENGTH . " bytes, got " . $len . " bytes");
if($headerRaw === false or strlen($headerRaw) !== self::REGION_HEADER_LENGTH){
throw new CorruptedRegionException("Corrupted region header (unexpected end of file)");
}
$data = unpack("N*", $headerRaw);

View File

@ -780,16 +780,6 @@ parameters:
count: 1
path: ../../../src/pocketmine/level/format/io/region/RegionLoader.php
-
message: "#^Parameter \\#1 \\$string of function strlen expects string, string\\|false given\\.$#"
count: 1
path: ../../../src/pocketmine/level/format/io/region/RegionLoader.php
-
message: "#^Parameter \\#2 \\$data of function unpack expects string, string\\|false given\\.$#"
count: 1
path: ../../../src/pocketmine/level/format/io/region/RegionLoader.php
-
message: "#^Parameter \\#1 \\$start of method pocketmine\\\\utils\\\\Random\\:\\:nextRange\\(\\) expects int, float\\|int given\\.$#"
count: 2