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.jo...@enterprisedb.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(-)