From f8169041cea782f2ddb207374319fe1a2e8fe9b1 Mon Sep 17 00:00:00 2001
From: Me on Windows <fml@windows.invalid>
Date: Tue, 6 Jul 2021 19:26:58 +0000
Subject: [PATCH] Handle more network exceptions gracefully

---
 QuickPlay/Configuration.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/QuickPlay/Configuration.cs b/QuickPlay/Configuration.cs
index 056a393..47c39e3 100644
--- a/QuickPlay/Configuration.cs
+++ b/QuickPlay/Configuration.cs
@@ -95,7 +95,8 @@ namespace QuickPlay
             {
                 playercfg = await cfgProvider.GetConfigurationAsync();
             }
-            catch (Exception e) when (e is Java.Net.UnknownHostException)
+            // FIXME: These are provider-specific exceptions!
+            catch (Exception e) when (e is Java.Net.UnknownHostException || e is OperationCanceledException || e is HttpRequestException)
             {
                 var ctx = Android.App.Application.Context;
                 var t = Android.Widget.Toast.MakeText(ctx, "Could not load config:" + e.Message, Android.Widget.ToastLength.Long);