From 6c3706602c9322e5999978b322e9b7d90435f66f Mon Sep 17 00:00:00 2001 From: sta Date: Thu, 8 Oct 2020 19:36:47 +0900 Subject: [PATCH] [Modify] Polish it --- websocket-sharp/Net/EndPointListener.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/websocket-sharp/Net/EndPointListener.cs b/websocket-sharp/Net/EndPointListener.cs index 2f988949..048d8ad1 100644 --- a/websocket-sharp/Net/EndPointListener.cs +++ b/websocket-sharp/Net/EndPointListener.cs @@ -468,12 +468,14 @@ namespace WebSocketSharp.Net _socket.Close (); HttpConnection[] conns = null; + lock (_unregisteredSync) { if (_unregistered.Count == 0) return; var keys = _unregistered.Keys; conns = new HttpConnection[keys.Count]; + keys.CopyTo (conns, 0); _unregistered.Clear (); }