- $db = mysql_connect($connection["host"] ,
- $connection["dbuser"], $connection["dbpassword"]);
+ $server = $connection["host"];
+ if (!empty($connection["port"]))
+ $server .= ":".$connection["port"];
+ $db = mysql_connect($server, $connection["dbuser"], $connection["dbpassword"]);