Initialize the database config with the port number if it is specified. Also set it up so the mysqli constructor will split it into host and port for the call to the mysqli constructor. Fixes ticket: #780

1 files changed, 1 insertions, 1 deletions

diff --git a/installer/cli.php b/installer/cli.php
index 182c3d26..f736ffcb 100644
--- a/installer/cli.php
+++ b/installer/cli.php
@@ -95,7 +95,7 @@ function parse_cli_params() {
       $config["dbname"] = $argv[++$i];
       break;
     case "-h":
-      $config["host"] = $argv[++$i];
+      list ($config["host"], $config["port"]) = explode(":", $argv[++$i]);
       break;
     case "-u":
       $config["user"] = $argv[++$i];