Method ids

basex-api/src/main/java/org/basex/http/ws/WsPool.java:36–40

Returns the IDs of all connected clients. @return client IDs

()

   * @return client IDs
   */
  public static TokenList ids() {
    final TokenList ids = new TokenList(CLIENTS.size());
    for(final String key : CLIENTS.keySet()) ids.add(key);
    return ids;
  }

  /**
   * Adds a WebSocket to the clients list.