Handle a potential error case in the connection status monitoring.
When you disconnect the server with an open sqleditor tab, exception
occurs at the back end. Also, after connecting server, the sqleditor
is not able to connect back because of the exception.
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=920934759f4f608e6b707328e3306099c12f48e1
Author: Aditya Toshniwal <aditya(dot)toshniwal(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/tools/sqleditor/__init__.py | 29 +++++++++++++++++------------
1 file changed, 17 insertions(+), 12 deletions(-)