JosephFerano/discord-bot-game
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Try catch around initial message

Browse Source
This commit is contained in:
Joseph Ferano 2022-02-24 15:07:33 +07:00
parent eb4e42ad11
commit 31864ed025
1 changed files with 16 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Bot/Trainer.fs
View File

@ -28,6 +28,7 @@ let TrainerEvents = [|
let sendInitialEmbed (client : DiscordClient) = let sendInitialEmbed (client : DiscordClient) =
async { async {
try
let! channel = client.GetChannelAsync(GuildEnvironment.channelTraining) |> Async.AwaitTask let! channel = client.GetChannelAsync(GuildEnvironment.channelTraining) |> Async.AwaitTask
let builder = DiscordMessageBuilder() let builder = DiscordMessageBuilder()
let embed = DiscordEmbedBuilder() let embed = DiscordEmbedBuilder()
@ -41,6 +42,8 @@ let sendInitialEmbed (client : DiscordClient) =
do! channel.SendMessageAsync(builder) do! channel.SendMessageAsync(builder)
|> Async.AwaitTask |> Async.AwaitTask
|> Async.Ignore |> Async.Ignore
with e ->
printfn $"Error trying to get channel {GuildEnvironment.channelTraining}\n\n{e.Message}"
} |> Async.RunSynchronously } |> Async.RunSynchronously
let handleTrainerStep1 (ctx : IDiscordContext) = let handleTrainerStep1 (ctx : IDiscordContext) =