Handle another networking exception

Nothing should throw it, but here I come.
develop
LEdoian 3 years ago
parent 25f5cffbd8
commit 4c5a352386

@ -96,7 +96,12 @@ namespace QuickPlay
playercfg = await cfgProvider.GetConfigurationAsync(); playercfg = await cfgProvider.GetConfigurationAsync();
} }
// FIXME: These are provider-specific exceptions! // 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 ctx = Android.App.Application.Context;
var t = Android.Widget.Toast.MakeText(ctx, "Could not load config:" + e.Message, Android.Widget.ToastLength.Long); var t = Android.Widget.Toast.MakeText(ctx, "Could not load config:" + e.Message, Android.Widget.ToastLength.Long);

Loading…
Cancel
Save