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
RM_2333.patch
Description: Binary data
-- Sent via pgadmin-hackers mailing list (pgadmin-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
