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

Mention target user

Browse Source
This commit is contained in:
Joseph Ferano 2022-01-09 04:19:32 +07:00
parent 043ed06572
commit ff5cd8b28a
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Program.fs
View File

@ -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