From 9bc7ffd3bcc6b9f5614be6e1aff7f76998a600e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Tue, 20 Apr 2010 08:01:26 +0200 Subject: [PATCH] Port should be an integer. --- server_synchronize.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server_synchronize.php b/server_synchronize.php index bc03c3215..365a4313e 100644 --- a/server_synchronize.php +++ b/server_synchronize.php @@ -76,7 +76,7 @@ if ((isset($_REQUEST['submit_connect']))) { } else { ${"{$con}_server"}['host'] = ${"{$con}_host"}; if (isset(${"{$con}_port"}) && ! empty(${"{$con}_port"}) && ((int)${"{$con}_port"} * 1) > 0) { - ${"{$con}_server"}['port'] = ${"{$con}_port"}; + ${"{$con}_server"}['port'] = (int)${"{$con}_port"}; } }