Renaming a server, when it was connected, should not lose the existing
connections.
Thanks Neel for reporting the issue.
Also, resolved an issue related fetching properties of all the servers.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=4c9bbff28bff147ddd2f0c590eb339645f5508cc
Modified Files
--------------
web/pgadmin/browser/server_groups/servers/__init__.py | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)