pgAdmin 4 commit: Fixed an issue where the user is not able to use the - Mailing list pgadmin-hackers

Fixed an issue where the user is not able to use the query tool when
any other long-running operation is in progress.

refs #5793

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=d9847ed1f3bfe05d9b3e644a0fca45820faa5e3a
Author: Nikhil Mohite <nikhil.mohite@enterprisedb.com>

Modified Files
--------------
web/pgadmin/tools/sqleditor/__init__.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)