Hi Hackers,
Please find the attached patch for #5519. Updated the existing confirmation
message and also added a new confirmation dialog before closing the query
tool if the server is disconnected.
--
Thanks & Regards,
Pradip Parkale
Software Engineer | EnterpriseDB Corporation