Close connections gracefully when the user logs out of pgAdmin. Fixes #3942
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=22d458b01ea9369626bf76b945ce9c6b6d9ec9ad
Author: Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com>
Modified Files
--------------
docs/en_US/release_notes_4_3.rst | 1 +
web/pgadmin/__init__.py | 19 ++++++++-
web/pgadmin/tools/datagrid/__init__.py | 69 +++++++++++++++++++++---------
web/pgadmin/tools/debugger/__init__.py | 76 ++++++++++++++++++++++++----------
web/pgadmin/utils/__init__.py | 1 +
5 files changed, 124 insertions(+), 42 deletions(-)