Merge commit '8726604899d1a371567141e0831ed570d3233356'

This commit is contained in:
Dylan K. Taylor
2019-12-25 14:19:35 +00:00
16 changed files with 39 additions and 30 deletions

View File

@ -145,7 +145,7 @@ namespace pocketmine {
}
function server(){
if(!empty($messages = check_platform_dependencies())){
if(count($messages = check_platform_dependencies()) > 0){
echo PHP_EOL;
$binary = version_compare(PHP_VERSION, "5.4") >= 0 ? PHP_BINARY : "unknown";
critical_error("Selected PHP binary ($binary) does not satisfy some requirements.");