From b5c022295a2d678edff3f54d9ee10e2fa1515c2d Mon Sep 17 00:00:00 2001
From: zhaowenyu <35589726@qq.com>
Date: Fri, 27 Feb 2026 09:39:40 +0800
Subject: [PATCH] 2026-02-27 优化媒体文件入库；新增视频时长、开始拍摄时间、结束时间；
---
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