list($http_host, $port) = explode(':', $_SERVER["HTTP_HOST"].":"); $db_myadmin_link = "//".$http_host."/phpmyadmin/"; $db_pgadmin_link = "//".$http_host."/phppgadmin/"; if (!empty($_SESSION['DB_PMA_ALIAS'])) { $db_myadmin_link = "//".$http_host."/".$_SESSION['DB_PMA_ALIAS']."/"; } if (!empty($_SESSION['DB_PGA_ALIAS'])) { $db_pgadmin_link = "//".$http_host."/".$_SESSION['DB_PGA_ALIAS']."/"; } ?>