Method send

basex-api/src/main/java/org/basex/http/ws/WsPool.java:90–97

Sends a message to a specific clients. @param message message @param ids client IDs @throws QueryException query exception

(final Value message, final String... ids)

   * @throws QueryException query exception
   */
  public static void send(final Value message, final String... ids) throws QueryException {
    final List<WebSocket> list = new ArrayList<>(ids.length);
    for(final String id : ids) {
      final WebSocket ws = CLIENTS.get(id);
      if(ws != null) list.add(ws);
    }
    send(message, list);
  }

  /**
   * Returns the client with the specified ID.