Files
pgadmin4/web
Ashesh Vashi 4c9bbff28b 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.
2016-03-18 17:12:40 +05:30
..
2015-03-03 10:51:29 +00:00
2016-01-18 14:48:14 +00:00