From b8b5a3895e741d5348ecdd39ad2e5cbd443f8e89 Mon Sep 17 00:00:00 2001
From: zhaowenyu <35589726@qq.com>
Date: Wed, 01 Apr 2026 12:17:04 +0800
Subject: [PATCH] Merge remote-tracking branch 'origin/dev' into dev
---
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