From 82e9b9e7c7ecf1664a7b0d4e57a5c4893739559d Mon Sep 17 00:00:00 2001
From: Michel Käser <mail@michelkaeser.ch>
Date: Sat, 16 May 2015 17:44:59 -0400
Subject: [PATCH] define MySQL port by its own (rather than in the host with :port); it's simply cleaner

---
 interface/web/tools/interface_settings.php |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interface/web/tools/interface_settings.php b/interface/web/tools/interface_settings.php
index bc9c780..d7a1333 100644
--- a/interface/web/tools/interface_settings.php
+++ b/interface/web/tools/interface_settings.php
@@ -126,7 +126,7 @@
 			print '<script type="text/javascript">document.location.reload();</script>';
 			exit;
 		}
-		else parent::onShow();
+		//else parent::onShow();
 	}
 
 

--
Gitblit v1.9.1