use existing value of $db_port or calculate value if not set
use existing value of $db_port or calculate value if not set

- if db_host contains a ':', set db_port to what's after the ':'
- otherwise set it to default mysql port number (3306)

sheridancbio/cbioportal,cBioPortal/cbioportal,zhx828/cbioportal,n1zea144/cbioportal,zhx828/cbioportal,onursumer/cbioportal,n1zea144/cbioportal,cBioPortal/cbioportal,cBioPortal/cbioportal,zhx828/cbioportal,sheridancbio/cbioportal,onursumer/cbioportal,sheridancbio/cbioportal,sheridancbio/cbioportal,n1zea144/cbioportal,sheridancbio/cbioportal,zhx828/cbioportal,zhx828/cbioportal,n1zea144/cbioportal,onursumer/cbioportal,n1zea144/cbioportal,zhx828/cbioportal,zhx828/cbioportal,cBioPortal/cbioportal,onursumer/cbioportal,cBioPortal/cbioportal,cBioPortal/cbioportal,sheridancbio/cbioportal,n1zea144/cbioportal,onursumer/cbioportal,onursumer/cbioportal,n1zea144/cbioportal