From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Fri, 31 May 2013 05:52:43 +0000 (+0400)
Subject: sphinx: type cast port to integer
X-Git-Tag: 1.8~42
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=7c01db43efb8269f053589e0e94bdccf8f498047;p=tt-rss.git

sphinx: type cast port to integer
---

diff --git a/include/functions.php b/include/functions.php
index a4b604e7..32ec8815 100644
--- 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,