Method createId

basex-api/src/main/java/org/basex/http/ws/WsPool.java:143–146

Creates a new, unused WebSocket ID. @return new ID

()

   * @return new ID
   */
  private static synchronized String createId() {
    websocketId = Math.max(0, websocketId + 1);
    return PREFIX + websocketId;
  }
}