diff --git a/src/pocketmine/level/generator/Generator.php b/src/pocketmine/level/generator/Generator.php index dba5fa8a8..1330cb65c 100644 --- a/src/pocketmine/level/generator/Generator.php +++ b/src/pocketmine/level/generator/Generator.php @@ -30,7 +30,7 @@ use pocketmine\level\ChunkManager; use pocketmine\math\Vector3; use pocketmine\utils\Random; use pocketmine\utils\Utils; -use function ctype_digit; +use function preg_match; abstract class Generator{ @@ -44,7 +44,7 @@ abstract class Generator{ public static function convertSeed(string $seed) : ?int{ if($seed === ""){ //empty seed should cause a random seed to be selected - can't use 0 here because 0 is a valid seed $convertedSeed = null; - }elseif(ctype_digit($seed)){ //this avoids treating seeds like "404.4" as integer seeds + }elseif(preg_match('/^-?\d+$/', $seed) === 1){ //this avoids treating seeds like "404.4" as integer seeds $convertedSeed = (int) $seed; }else{ $convertedSeed = Utils::javaStringHash($seed);