Ignore broken pipe and dropped connection exceptions

2020-12-26 13:18:31 +01:00
parent 50b8685e44
commit f18a78b59c
1 changed files with 1 additions and 1 deletions
--- 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;