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