From 50d5645b9f77b5341ade0026f99076f82692a9b7 Mon Sep 17 00:00:00 2001
From: Krzysztof Sikorski <krzysztof.sikorski@zerozero.pl>
Date: Thu, 30 May 2013 02:53:16 +0300
Subject: [PATCH] bugfix: DB_PORT was not used in one of db_connect calls

---
 install/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install/index.php b/install/index.php
index 06f13fe1..ec064c0a 100644
--- 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.");
-- 
2.39.5