/** * Set the origin to use. */ public void setOrigin(@Nullable String origin) { this.headers.setOrigin(origin); }
public void setOrigin(String origin) { this.headers.setOrigin(origin); }
public void setOrigin(String origin) { this.headers.setOrigin(origin); }
/** * Set the origin to use. */ public void setOrigin(@Nullable String origin) { this.headers.setOrigin(origin); }
/** * Set the origin to use. */ public void setOrigin(@Nullable String origin) { this.headers.setOrigin(origin); }
@Bean public StompSessionManager stompSessionManager(WebSocketStompClient stompClient) { WebSocketStompSessionManager webSocketStompSessionManager = new WebSocketStompSessionManager(stompClient, server().getWsBaseUrl() + "/ws"); webSocketStompSessionManager.setAutoReceipt(true); webSocketStompSessionManager.setRecoveryInterval(1000); WebSocketHttpHeaders handshakeHeaders = new WebSocketHttpHeaders(); handshakeHeaders.setOrigin("http://foo.com"); webSocketStompSessionManager.setHandshakeHeaders(handshakeHeaders); StompHeaders stompHeaders = new StompHeaders(); stompHeaders.setHeartbeat(new long[] { 10000, 10000 }); webSocketStompSessionManager.setConnectHeaders(stompHeaders); return webSocketStompSessionManager; }