From 7d69180fc574e9ca1a4b396742093163113ca19c Mon Sep 17 00:00:00 2001 From: Paulo Date: Thu, 6 Aug 2020 21:10:38 -0300 Subject: [PATCH] Missed an else --- src/Discord.Net.WebSocket/ConnectionManager.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Discord.Net.WebSocket/ConnectionManager.cs b/src/Discord.Net.WebSocket/ConnectionManager.cs index 29a151051..2237e2d1f 100644 --- a/src/Discord.Net.WebSocket/ConnectionManager.cs +++ b/src/Discord.Net.WebSocket/ConnectionManager.cs @@ -44,7 +44,7 @@ namespace Discord var ex2 = ex as WebSocketClosedException; if (ex2?.CloseCode == 4006) CriticalError(new Exception("WebSocket session expired", ex)); - if (ex2?.CloseCode == 4014) + else if (ex2?.CloseCode == 4014) CriticalError(new Exception("WebSocket connection was closed", ex)); else Error(new Exception("WebSocket connection was closed", ex));