Package server

Class WebSocketVertx

java.lang.Object
server.WebSocketVertx

public class WebSocketVertx extends Object
  • Constructor Details

    • WebSocketVertx

      public WebSocketVertx(io.vertx.core.Vertx vertx)
  • Method Details

    • getActiveUsers

      public Set<String> getActiveUsers()
    • handleWebSocket

      public void handleWebSocket(io.vertx.core.http.ServerWebSocket webSocket)
    • sendMessageToClientWithRetry

      public void sendMessageToClientWithRetry(UUID clientID, String message, int timeoutMs, int maxRetries)
    • broadcastToEveryoneWithRetry

      public void broadcastToEveryoneWithRetry(String message, int timeoutMs, int maxRetries)