Shireesh Anjal 289b22d911
fix: pool number not added for one server (#11670)
The previous code was iterating over replies from peers and assigning
pool numbers to them, thus missing to add it for the local server.

Fixed by iterating over the server properties of all the servers
including the local one.
2021-03-01 08:09:43 -08:00
..
2021-01-26 20:47:42 -08:00
2020-01-31 08:29:22 +05:30
2021-02-27 09:22:14 -08:00