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(-) -- Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
