Ensure menus are updated after disconnecting a server. Fixes #2281 Branch ------ master
Details ------- http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=14f3a57d82d2f7f31e105e0dbb36200108273759 Author: RAJASEKAR G <rjsk...@gmail.com> Modified Files -------------- web/pgadmin/browser/server_groups/servers/templates/servers/servers.js | 1 + 1 file changed, 1 insertion(+) -- Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
