modificatoin: allow for local postgresql database ports other than the default '5432'

core_tools/startup/db_connection.py

@@ -40,9 +40,14 @@ def _config_local_db(readonly):
     user = cfg['local_database.user']
     passwd = cfg['local_database.password']
     dbname = cfg['local_database.database']
-    SQL_conn_info_local('localhost', 5432,
+    address = cfg.get("local_database.address", default="localhost:5432")
+    host, port = address.split(":")
+    if host != "localhost":
+        raise RuntimeError("Illegal host name '{}' for local database. Should be 'localhost'.".format(host))
+    SQL_conn_info_local(host, int(port),
                         user, passwd, dbname,
                         readonly)
+    print("connecting to host '{}' at port '{}' to database '{}'".format(host, port, dbname))
 
 def _connect():
     global _connected
@@ -51,4 +56,4 @@ def _connect():
         query_for_samples.get_projects()
         _connected = True
     except:
-        raise
\ No newline at end of file
+        raise