X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/f6127df15d091b160eec5b2c1ac5b5f315340e46..e94b667e16177916dc34d790df475a69fe01a7d9:/lib/lib.php

diff --git a/lib/lib.php b/lib/lib.php
index ac99b1d2..b2924d58 100644
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -77,7 +77,7 @@
 	function getProcessorCount()
 	{
 		$sCPU = file_get_contents('/proc/cpuinfo');
-		preg_match_all('#processor	: [0-9]+#', $sCPU, $aMatches);
+		preg_match_all('#processor  : [0-9]+#', $sCPU, $aMatches);
 		return sizeof($aMatches[0]);
 	}
 
@@ -115,8 +115,8 @@
 		   return ($a['aPointPolygon']['numfeatures'] > $b['aPointPolygon']['numfeatures']?-1:1);
 		   if ($a['aPointPolygon']['area'] != $b['aPointPolygon']['area'])
 		   return ($a['aPointPolygon']['area'] > $b['aPointPolygon']['area']?-1:1);
-		//		if ($a['levenshtein'] != $b['levenshtein'])
-		//			return ($a['levenshtein'] < $b['levenshtein']?-1:1);
+		//      if ($a['levenshtein'] != $b['levenshtein'])
+		//          return ($a['levenshtein'] < $b['levenshtein']?-1:1);
 		if ($a['rank_search'] != $b['rank_search'])
 		return ($a['rank_search'] < $b['rank_search']?-1:1);
 		 */