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"