Thanks, patch applied.
On Fri, Oct 12, 2018 at 1:24 PM Harshal Dhumal <
harshal.dhu...@enterprisedb.com> wrote:
> Hi,
>
> This issues caused as we were iterating over manager keys (which contains
> server ids) and
> not on server managers.
>
> Attached patch fixes this issue.
>
>
> --
> *Harshal
Hi,
This issues caused as we were iterating over manager keys (which contains
server ids) and
not on server managers.
Attached patch fixes this issue.
--
*Harshal Dhumal*
*Sr. Software Engineer*
EnterpriseDB India: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
diff --git a/web
