Minor fix to handle auto-discovery of servers with no port recorded. Branch ------ master
Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=83f9d8a5476a75b353579dca32f06c4e4c1ded31 Author: Akshay Joshi <akshay.jo...@enterprisedb.com> Modified Files -------------- web/pgadmin/__init__.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-)
