/** * @return the STOMP session id computed when the client has established the connection to the server */ public String session() { String ret = delegate.session(); return ret; }
/** * @return the STOMP session id computed when the client has established the connection to the server */ public String session() { String ret = delegate.session(); return ret; }
@Override public synchronized void onClose(StompServerConnection connection) { // Default behavior. getDestinations().stream().forEach((d) -> d.unsubscribeConnection(connection)); Transactions.instance().unregisterTransactionsFromConnection(connection); // Remove user, if exists this.users.remove(connection.session()); if (closeHandler != null) { closeHandler.handle(connection); } }
if (ar.succeeded()) { users.put(connection.session(), ar.result()); context.runOnContext(v2 -> handler.handle(Future.succeededFuture(true))); } else {
Frame.VERSION, version, Frame.SERVER, Server.SERVER_NAME, Frame.SESSION, sf.connection().session(), Frame.HEARTBEAT, Frame.Heartbeat.create(sf.connection().server().options().getHeartbeat()).toString()), null)); });