如何从断开消息中获取目的地？

Question

我在 Spring Boot 上有一个 WebSocket 应用程序。我使用 STOMP，当用户关闭选项卡（从 WS 断开连接）时，我需要获取目标路径。我使用@EventListener 拦截断开连接或从ChannelInterceptor 扩展并覆盖preSend()。

我尝试了很多方法 - StompHeaderAccessor.getDestination()、SessionDisconnectEvent.getMessage().getHeaders().get("simpDestination") 等，但它们都返回 null。有没有可行的方法来获取路径？也许不使用拦截器，不知何故？

Answer 1

我无法谈论 Spring 的具体细节，但我认为从 Stomp 的角度来看，您无法获得您想要的信息。如Stomp 1.2 specification 中所述，DISCONNECT 帧不使用任何类型的目标标头。唯一可能的标题是receipt。收据的语义解释here。