From 898d399c467c8a8d7a9ff0f27a2d63cd0fba95f8 Mon Sep 17 00:00:00 2001 From: sta Date: Tue, 23 Nov 2021 21:21:58 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Server/WebSocketSessionManager.cs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/websocket-sharp/Server/WebSocketSessionManager.cs b/websocket-sharp/Server/WebSocketSessionManager.cs index f0fe6e63..59e5e370 100644 --- a/websocket-sharp/Server/WebSocketSessionManager.cs +++ b/websocket-sharp/Server/WebSocketSessionManager.cs @@ -1543,12 +1543,14 @@ namespace WebSocketSharp.Server { if (_sweeping) { _log.Info ("The sweeping is already in progress."); + return; } lock (_forSweep) { if (_sweeping) { _log.Info ("The sweeping is already in progress."); + return; } @@ -1564,8 +1566,10 @@ namespace WebSocketSharp.Server break; IWebSocketSession session; + if (_sessions.TryGetValue (id, out session)) { var state = session.ConnectionState; + if (state == WebSocketState.Open) session.Context.WebSocket.Close (CloseStatusCode.Abnormal); else if (state == WebSocketState.Closing)