sphinx: type cast port to integer

11 years ago · 7c01db43ef
parent 2457679aed
commit 7c01db43ef
1 changed files with 1 additions and 1 deletions
--- a/include/functions.php
+++ b/include/functions.php
@ -3809,7 +3809,7 @@

 		$sphinxpair = explode(":", SPHINX_SERVER, 2);

-		$sphinxClient->SetServer($sphinxpair[0], $sphinxpair[1]);
+		$sphinxClient->SetServer($sphinxpair[0], (int)$sphinxpair[1]);
 		$sphinxClient->SetConnectTimeout(1);

 		$sphinxClient->SetFieldWeights(array('title' => 70, 'content' => 30,