Re: [pgAdmin][RM5017] Use cheroot as default production server

Thanks, patch applied. On Tue, Dec 17, 2019 at 3:16 PM Aditya Toshniwal < aditya.toshni...@enterprisedb.com> wrote: > Hi Hackers, > > Attached is the patch to use https://pypi.org/project/cheroot/ instead of > current flask dev server. cheroot is a stable production ready server. > Plus, flask de

pgAdmin 4 commit: Use cheroot as default production server for pgAdmin4

Use cheroot as default production server for pgAdmin4. Fixes #5017 If DEBUG is true then we used the default flask server. Branch -- master Details --- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=15c518f0f1a299b93676ea4e5d9d9de8a62c32c2 Author: Aditya Toshniwal Modi

pgAdmin 4 commit: Optimized edit types and properties SQL for table/col

Optimized edit types and properties SQL for table/columns. It is part of #4988. Branch -- master Details --- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=4b9bfb2e4ae13a0bc0466def350597c57a05fb0f Modified Files -- .../templates/columns/sql/10_plus/properties