From 2bc58be7a80281d157d914fe5777fbda21862d69 Mon Sep 17 00:00:00 2001
From: zhaowenyu <35589726@qq.com>
Date: Tue, 10 Mar 2026 14:32:43 +0800
Subject: [PATCH] 2026-03-09 优化 新增按标注id获取标注详细信息接口
---
ard-work/src/main/java/com/ard/work/component/websocket/WebSocketSessionManager.java | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/ard-work/src/main/java/com/ard/work/component/websocket/WebSocketSessionManager.java b/ard-work/src/main/java/com/ard/work/component/websocket/WebSocketSessionManager.java
index 0946889..0cb420e 100644
--- a/ard-work/src/main/java/com/ard/work/component/websocket/WebSocketSessionManager.java
+++ b/ard-work/src/main/java/com/ard/work/component/websocket/WebSocketSessionManager.java
@@ -28,4 +28,9 @@
public static int getOnlineUserCount() {
return ONLINE_USER_SESSIONS.size();
}
+
+ public static boolean containsUser(Long userId) {
+ return ONLINE_USER_SESSIONS.containsKey(userId);
+ }
+
}
\ No newline at end of file
--
Gitblit v1.9.3