diff --git a/src/dependencies.php b/src/dependencies.php index 7d78c223b..8643c1962 100644 --- a/src/dependencies.php +++ b/src/dependencies.php @@ -55,7 +55,11 @@ if(!extension_loaded("pthreads") and @dl((PHP_SHLIB_SUFFIX === "dll" ? "php_":"" console("[ERROR] Unable to find the pthreads extension.", true, true, 0); ++$errors; }else{ - if(version_compare(phpversion("pthreads"), "0.1.0") < 0){ + $pthreads_version = phpversion("pthreads"); + if(substr_count($pthreads_version, ".") < 3){ + $pthreads_version = "0.$pthreads_version"; + } + if(version_compare($pthreads_version, "0.1.0") < 0){ console("[ERROR] pthreads >= 0.1.0 is required.", true, true, 0); ++$errors; }