sphinx: type cast port to integer

diff --git a/include/functions.php b/include/functions.php
index a4b604e7dfbeaa0ee1b4e3b20887182efe6164f0..32ec8815f395b6973d2a9f5adfb3837ca22b6af5 100644 (file)
--- 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,