From f18a78b59c61351db6e39c2fb9156b524ffcc07b Mon Sep 17 00:00:00 2001
From: Ske <voltasalt@gmail.com>
Date: Sat, 26 Dec 2020 13:18:31 +0100
Subject: [PATCH] Ignore broken pipe and dropped connection exceptions

---
 PluralKit.Bot/Utils/MiscUtils.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PluralKit.Bot/Utils/MiscUtils.cs b/PluralKit.Bot/Utils/MiscUtils.cs
index 7e8eb3b9..38a86618 100644
--- a/PluralKit.Bot/Utils/MiscUtils.cs
+++ b/PluralKit.Bot/Utils/MiscUtils.cs
@@ -76,7 +76,7 @@ namespace PluralKit.Bot
             if (e is WebhookExecutionErrorOnDiscordsEnd) return false;
             
             // Socket errors are *not our problem*
-            if (e is SocketException) return false;
+            if (e.GetBaseException() is SocketException) return false;
             
             // Tasks being cancelled for whatver reason are, you guessed it, also not our problem.
             if (e is TaskCanceledException) return false;