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(dot)joshi(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/__init__.py | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)