]> git.openstreetmap.org Git - nominatim.git/commitdiff
Fix fixing of coding style
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 28 Mar 2016 20:04:08 +0000 (22:04 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Mon, 28 Mar 2016 20:04:08 +0000 (22:04 +0200)
lib/lib.php

index 5edd732889cb847247515eff64461eb256007a01..fccda314e52904458396953d8f00d858fb7d8516 100644 (file)
@@ -77,7 +77,7 @@
        function getProcessorCount()
        {
                $sCPU = file_get_contents('/proc/cpuinfo');
-               preg_match_all('#processor  : [0-9]+#', $sCPU, $aMatches);
+               preg_match_all('#processor\s+: [0-9]+#', $sCPU, $aMatches);
                return sizeof($aMatches[0]);
        }