Fix a Discord unhandled exception

x64-dev · x64-dev · commit 1e4e98ea7e2e · 2026-03-02T21:16:27.000-05:00
diff --git a/GenOnlineService/Discord.cs b/GenOnlineService/Discord.cs
@@ -738,7 +738,7 @@ public void PushDM(SocketUser user, string strMessage)
 		{
 			if (user != null)
 			{
-				user.SendMessageAsync(strMessage);
+				user.SendMessageAsync(strMessage).ContinueWith(t => { }, TaskContinuationOptions.OnlyOnFaulted);
 			}
 		}
 		catch
@@ -786,7 +786,7 @@ public void PushChannelMessage(EDiscordChannelIDs channelID, string strMessage)
 			ISocketMessageChannel? channel = GetChannel(channelID);
 			if (channel != null)
 			{
-				channel.SendMessageAsync(strMessage);
+				channel.SendMessageAsync(strMessage).ContinueWith(t => { }, TaskContinuationOptions.OnlyOnFaulted);
 			}
 		}
 		catch

Original file line number	Diff line number	Diff line change
`@@ -738,7 +738,7 @@ public void PushDM(SocketUser user, string strMessage)`
`738`	`738`	`{`
`739`	`739`	`if (user != null)`
`740`	`740`	`{`
`741`		`- user.SendMessageAsync(strMessage);`
	`741`	`+ user.SendMessageAsync(strMessage).ContinueWith(t => { }, TaskContinuationOptions.OnlyOnFaulted);`
`742`	`742`	`}`
`743`	`743`	`}`
`744`	`744`	`catch`
`@@ -786,7 +786,7 @@ public void PushChannelMessage(EDiscordChannelIDs channelID, string strMessage)`
`786`	`786`	`ISocketMessageChannel? channel = GetChannel(channelID);`
`787`	`787`	`if (channel != null)`
`788`	`788`	`{`
`789`		`- channel.SendMessageAsync(strMessage);`
	`789`	`+ channel.SendMessageAsync(strMessage).ContinueWith(t => { }, TaskContinuationOptions.OnlyOnFaulted);`
`790`	`790`	`}`
`791`	`791`	`}`
`792`	`792`	`catch`