Hi
When a server is disconnected, listen to 'pgadmin:server:disconnect'event
and trigger refresh button of Server Activity data.
Also, on server disconnect, an unused event 'server-disconnected' is being
triggered.
instead it should trigger ''pgadmin:server:disconnect'event.
Please find attached patch and review.
Thanks,
Surinder Kumar