From ff5cd8b28a77b29e8dcce0735c660e707f57d639 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sun, 9 Jan 2022 04:19:32 +0700 Subject: [PATCH] Mention target user --- Program.fs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Program.fs b/Program.fs index 333192a..f0e6c00 100644 --- a/Program.fs +++ b/Program.fs @@ -221,9 +221,8 @@ let handleButtonEvent (client : DiscordClient) (event : ComponentInteractionCrea |> Async.AwaitTask let builder = DiscordMessageBuilder() -// builder..Add(UserMention(target)) - builder.WithContent($"{event.User.Username} has sent a hack to ") |> ignore - let battleChannel = (event.Guild.GetChannel(927444uL)) + builder.WithContent($"{event.User.Username} has sent a hack to <@{target}>") |> ignore + let battleChannel = (event.Guild.GetChannel(927449884204867664uL)) do! battleChannel.SendMessageAsync(builder) |> Async.AwaitTask |> Async.Ignore