From f7fea3eb2a6fe2b91d83ecee30304d6d0f6b9877 Mon Sep 17 00:00:00 2001
From: zhaowenyu <35589726@qq.com>
Date: Mon, 09 Mar 2026 12:58:03 +0800
Subject: [PATCH] 2026-03-09 标记功能接口调整： 1、ID改为UUID； 2、点、线、面、圆数据增加索引字段sort，以标注各点的顺序； 3、增加is_true字段，用于标记是否在地图上可见；
---
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