From d3b82737cd7d2243e285d8ae7f6763c76595689d Mon Sep 17 00:00:00 2001
From: M66B <M66B@users.noreply.github.com>
Date: Sat, 11 May 2019 07:55:53 +0200
Subject: [PATCH] Filter SocketException

---
 app/src/main/java/eu/faircode/email/ApplicationEx.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/main/java/eu/faircode/email/ApplicationEx.java b/app/src/main/java/eu/faircode/email/ApplicationEx.java
index 9d51cbf5cf..867c66dab6 100644
--- a/app/src/main/java/eu/faircode/email/ApplicationEx.java
+++ b/app/src/main/java/eu/faircode/email/ApplicationEx.java
@@ -162,6 +162,7 @@ public class ApplicationEx extends Application {
         ignore.add("javax.mail.AuthenticationFailedException");
         ignore.add("java.net.UnknownHostException");
         ignore.add("java.net.SocketTimeoutException");
+        ignore.add("java.net.SocketException");
 
         ignore.add("javax.mail.StoreClosedException");
         ignore.add("javax.mail.FolderClosedException");