Added support for the port setting in mysql
diff --git a/system/database/drivers/mysql/mysql_driver.php b/system/database/drivers/mysql/mysql_driver.php
index 34b6012..e0a1cee 100644
--- a/system/database/drivers/mysql/mysql_driver.php
+++ b/system/database/drivers/mysql/mysql_driver.php
@@ -58,6 +58,11 @@
 	 */	

 	function db_connect()

 	{

+		if ($this->port != '')

+		{

+			$this->hostname .= ':'.$this->port;

+		}

+		

 		return @mysql_connect($this->hostname, $this->username, $this->password, TRUE);

 	}

 	

@@ -71,6 +76,11 @@
 	 */	

 	function db_pconnect()

 	{

+		if ($this->port != '')

+		{

+			$this->hostname .= ':'.$this->port;

+		}

+

 		return @mysql_pconnect($this->hostname, $this->username, $this->password);

 	}