Hi Hackers, Attached is the patch to remove cheroot server for now until we find a way to shutdown cheroot using REST call.
-- Thanks and Regards, Aditya Toshniwal pgAdmin Hacker | Sr. Software Engineer | EnterpriseDB India | Pune "Don't Complain about Heat, Plant a TREE"
RM5069.patch
Description: Binary data
