Port should be an integer.

2010-04-20 08:01:26 +02:00
parent 2a0f636f5c
commit 9bc7ffd3bc
1 changed files with 1 additions and 1 deletions
--- 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"};
 	        }
        }