From 7c01db43efb8269f053589e0e94bdccf8f498047 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Fri, 31 May 2013 09:52:43 +0400
Subject: [PATCH] sphinx: type cast port to integer

---
 include/functions.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,