Server: small cleanup to seed handling

This commit is contained in:
Dylan K. Taylor 2018-06-07 18:25:44 +01:00
parent 354b2dc5d1
commit 3707a41b67

View File

@ -1699,10 +1699,10 @@ class Server{
$this->setConfigString("level-name", "world");
}
if(!$this->loadLevel($default)){
$seed = getopt("", ["level-seed::"])["level-seed"] ?? $this->properties->get("level-seed", time());
$seed = $this->getConfigString("level-seed", (string) time());
if(!is_numeric($seed) or bccomp($seed, "9223372036854775807") > 0){
$seed = Utils::javaStringHash($seed);
}elseif(PHP_INT_SIZE === 8){
}else{
$seed = (int) $seed;
}
$this->generateLevel($default, $seed === 0 ? time() : $seed);