Nice! Patch applied, thanks.
On Thu, Aug 22, 2019 at 9:08 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Forgot to mention, this patch also fixes
> https://redmine.postgresql.org/issues/4584 - HTML entities aren't escaped
> in database names
>
> On Thu, Aug 22, 2019 at 1:05 PM
Forgot to mention, this patch also fixes
https://redmine.postgresql.org/issues/4584 - HTML entities aren't escaped
in database names
On Thu, Aug 22, 2019 at 1:05 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the patch to improve user experience when
Hi Hackers,
Attached is the patch to improve user experience when opening query tool.
Previously, when the query tool button was clicked, the request went to
backend, the connection was created and sent back to the UI. Until then,
there was no activity on the UI. For slow servers it looked like pg
