IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Ensure menus are updated after disconnecting a server. Fixes #2281

Browse Source
This commit is contained in:
RAJASEKAR G 2017-04-10 09:35:21 +01:00 committed by Dave Page
parent a2c4cb1606
commit 14f3a57d82
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
web/pgadmin/browser/server_groups/servers/templates/servers/servers.js
View File

@ -205,6 +205,7 @@ function($, _, S, pgAdmin, pgBrowser, alertify) {
if (pgBrowser.serverInfo && d._id in pgBrowser.serverInfo) {
delete pgBrowser.serverInfo[d._id]
}
pgBrowser.enable_disable_menus(i);
obj.trigger('server-disconnected', obj, i, d);
}
else {