From 58291f819968aee84e3c13114620f55f520577f4 Mon Sep 17 00:00:00 2001 From: Christopher F Date: Fri, 25 Nov 2016 21:45:56 -0500 Subject: [PATCH] Close the WebSocket when disconnecting This resolves #224 --- src/Discord.Net.Core/Net/WebSockets/DefaultWebSocketClient.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Discord.Net.Core/Net/WebSockets/DefaultWebSocketClient.cs b/src/Discord.Net.Core/Net/WebSockets/DefaultWebSocketClient.cs index 707f7663b..ffa96dba7 100644 --- a/src/Discord.Net.Core/Net/WebSockets/DefaultWebSocketClient.cs +++ b/src/Discord.Net.Core/Net/WebSockets/DefaultWebSocketClient.cs @@ -101,6 +101,8 @@ namespace Discord.Net.WebSockets if (_client != null && _client.State == WebSocketState.Open) { + var token = new CancellationToken(); + await _client.CloseAsync(WebSocketCloseStatus.NormalClosure, "", token); _client.Dispose(); _client = null; }