X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/28166c5bb11e3aa3a22e3c5dc13075dbe1b7dc9a..d8703c223b50f87a6adb779311f651853e6d4e36:/lib/lib.php

diff --git a/lib/lib.php b/lib/lib.php
index 0988a9c7..9611c47b 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);
 		 */