From c587219a5f508d072264ecd7a6ac1c5a6e303770 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Thu, 15 Jan 2015 09:10:22 -0800
Subject: [PATCH] web: support MySQL server on non-default port; from Tomi Asp.

---
 html/inc/db.inc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/html/inc/db.inc b/html/inc/db.inc
index 6d2831abc6..25eb47a0ef 100644
--- a/html/inc/db.inc
+++ b/html/inc/db.inc
@@ -42,7 +42,14 @@ if (parse_bool(get_config(), "no_mysqli")) {
 if (MYSQLI) {
     function _mysql_connect($host, $user, $pass, $dbname) {
         global $mysqli;
-        $mysqli = new mysqli($host, $user, $pass, $dbname);
+        $x = explode(":", $host);
+        if (sizeof($x)>1) {
+            $host = $x[0];
+            $port = $x[1];
+        } else {
+            $port = null;
+        }
+        $mysqli = new mysqli($host, $user, $pass, $dbname, $port);
         return $mysqli;
     }
     function _mysql_query($q) {