optional DB_PORT, misc js cleanups

1 files changed, 5 insertions, 1 deletions

diff --git a/db.php b/db.php
index 16d399220..fb2b8a4b9 100644
--- a/db.php
+++ b/db.php
@@ -5,12 +5,16 @@ require_once "config.php";
 function db_connect($host, $user, $pass, $db) {
 	if (DB_TYPE == "pgsql") {	
 			  
-		$string = "dbname=$db user=$user password=$pass";
+		$string = "dbname=$db user=$user password=$pass";	
 		
 		if ($host) {
 			$string .= " host=$host";
 		}
 
+		if (defined('DB_PORT')) {
+			$string = "$string port=" . DB_PORT;
+		}
+
 		$link = pg_connect($string);
 
 		if (!$link) {