Remove session from the grid on the dashboard when it is terminated.
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=cd311ca8a951743b9e3696aa297ce5d6be8aab3a
Author: Murtuza Zabuawala <murtuza(dot)zabuawala(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/dashboard/static/js/dashboard.js | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)