From f0c2043b2289e9c8b8a8ccbc5c8ae21f7f79a9db Mon Sep 17 00:00:00 2001
From: Paulo <pnmanjos@hotmail.com>
Date: Thu, 6 Aug 2020 21:07:03 -0300
Subject: [PATCH] Cancel reconnection when 4014

---
 src/Discord.Net.WebSocket/ConnectionManager.cs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Discord.Net.WebSocket/ConnectionManager.cs b/src/Discord.Net.WebSocket/ConnectionManager.cs
index e009674e7..29a151051 100644
--- a/src/Discord.Net.WebSocket/ConnectionManager.cs
+++ b/src/Discord.Net.WebSocket/ConnectionManager.cs
@@ -44,6 +44,8 @@ namespace Discord
                     var ex2 = ex as WebSocketClosedException;
                     if (ex2?.CloseCode == 4006)
                         CriticalError(new Exception("WebSocket session expired", ex));
+                    if (ex2?.CloseCode == 4014)
+                        CriticalError(new Exception("WebSocket connection was closed", ex));
                     else
                         Error(new Exception("WebSocket connection was closed", ex));
                 }