mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fixed the refresh issue when a server gets disconnected.
This commit is contained in:
committed by
Ashesh Vashi
parent
a6e96c5576
commit
0e044e1216
@@ -91,7 +91,7 @@ function($, _, S, pgAdmin, pgBrowser, alertify) {
|
||||
d.connected = false;
|
||||
d.icon = 'icon-server-not-connected';
|
||||
t.addIcon(i, {icon: d.icon});
|
||||
obj.callbacks.refresh.apply(obj, [i]);
|
||||
obj.callbacks.refresh.apply(obj, [null, i]);
|
||||
if (pgBrowser.serverInfo && d._id in pgBrowser.serverInfo) {
|
||||
delete pgBrowser.serverInfo[d._id]
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user