fix -undefined offset- error

[nominatim.git] / lib / lib.php

diff --git a/lib/lib.php b/lib/lib.php
index e283e8369ee7dbe19ddf5b984f496964da0adb64..3c70d1de7c822d0c6b15e7a6d7cec29be2fda1df 100644 (file)
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -14,7 +14,7 @@ function getProcessorCount()
 {
     $sCPU = file_get_contents('/proc/cpuinfo');
     preg_match_all('#processor\s+: [0-9]+#', $sCPU, $aMatches);
-    return sizeof($aMatches[0]);
+    return count($aMatches[0]);
 }