From 6c7f5d1a6b0a04acf3326947284b9c69f6972586 Mon Sep 17 00:00:00 2001
From: Yogesh Mahajan <yogesh.mahajan@enterprisedb.com>
Date: Wed, 17 May 2023 12:07:49 +0530
Subject: [PATCH] Ensure that connection heartbeat signals are stopped on
 server disconnect. #6147

---
 .../browser/server_groups/servers/static/js/server.js       | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/web/pgadmin/browser/server_groups/servers/static/js/server.js b/web/pgadmin/browser/server_groups/servers/static/js/server.js
index 96008d7b5..fcf5ff03c 100644
--- a/web/pgadmin/browser/server_groups/servers/static/js/server.js
+++ b/web/pgadmin/browser/server_groups/servers/static/js/server.js
@@ -205,6 +205,12 @@ define('pgadmin.node.server', [
                   d = t.itemData(i);
                   t.removeIcon(i);
                   d.connected = false;
+
+                  // Generate the event that server is disconnected
+                  pgBrowser.Events.trigger(
+                    'pgadmin:server:disconnect',
+                    {item: i, data: d}, false
+                  );
                   if (d.shared && pgAdmin.server_mode == 'True'){
                     d.icon = 'icon-shared-server-not-connected';
                   }else{