From 4c5a352386a20159920c1f93dc0768089ed461a9 Mon Sep 17 00:00:00 2001 From: Me on Windows Date: Thu, 8 Jul 2021 13:25:39 +0000 Subject: [PATCH] Handle another networking exception Nothing should throw it, but here I come. --- QuickPlay/Configuration.cs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/QuickPlay/Configuration.cs b/QuickPlay/Configuration.cs index 12d279e..188b8db 100644 --- a/QuickPlay/Configuration.cs +++ b/QuickPlay/Configuration.cs @@ -96,7 +96,12 @@ namespace QuickPlay playercfg = await cfgProvider.GetConfigurationAsync(); } // FIXME: These are provider-specific exceptions! - catch (Exception e) when (e is Java.Net.UnknownHostException || e is OperationCanceledException || e is HttpRequestException) + catch (Exception e) when ( + e is Java.Net.UnknownHostException + || e is OperationCanceledException + || e is HttpRequestException + || e is System.Net.WebException + ) { var ctx = Android.App.Application.Context; var t = Android.Widget.Toast.MakeText(ctx, "Could not load config:" + e.Message, Android.Widget.ToastLength.Long);