bugfix: DB_PORT was not used in one of db_connect calls

diff --git a/install/index.php b/install/index.php
index 06f13fe142a9626a044f513d87c08767c2dc4260..ec064c0a7055b48a9b17b41b0df4162246472cac 100644 (file)
--- a/install/index.php
+++ b/install/index.php
@@ -406,7 +406,7 @@
 
                } else if ($op == 'installschema' || $op == 'skipschema') {
 
-                       $link = db_connect($DB_HOST, $DB_USER, $DB_PASS, $DB_NAME, $DB_TYPE);
+                       $link = db_connect($DB_HOST, $DB_USER, $DB_PASS, $DB_NAME, $DB_TYPE, $DB_PORT);
 
                        if (!$link) {
                                print_error("Unable to connect to database using specified parameters.");