Returns a server list.
(long fromId, int maxPageSize)
| 168 | |
| 169 | /** Returns a server list. */ |
| 170 | public ServerList getServers(long fromId, int maxPageSize) { |
| 171 | List<InternalInstrumented<ServerStats>> serverList |
| 172 | = new ArrayList<>(maxPageSize); |
| 173 | Iterator<InternalInstrumented<ServerStats>> iterator |
| 174 | = servers.tailMap(fromId).values().iterator(); |
| 175 | |
| 176 | while (iterator.hasNext() && serverList.size() < maxPageSize) { |
| 177 | serverList.add(iterator.next()); |
| 178 | } |
| 179 | return new ServerList(serverList, !iterator.hasNext()); |
| 180 | } |
| 181 | |
| 182 | /** Returns a server. */ |
| 183 | @Nullable |