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

Try showing the username instead

Browse Source
This commit is contained in:
Joseph Ferano 2022-04-14 18:26:44 +07:00
parent b9c81bd28c
commit 70baa01d32
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Bot/Games/HackerBattle.fs
View File

@ -234,6 +234,11 @@ let scan (ctx : IDiscordContext) =
let mutable count = 0 let mutable count = 0
for t in targets do for t in targets do
count <- count + 1 count <- count + 1
let result , user = ctx.GetGuild().Members.TryGetValue(t.Id)
if result then
sb.AppendLine($"{count}.) **{user.Username}**") |> ignore
else
printfn $"Could not find user {t.Id}"
sb.AppendLine($"{count}.) **{t.Name}**") |> ignore sb.AppendLine($"{count}.) **{t.Name}**") |> ignore
let msg = let msg =
if targets.Length > 0 then if targets.Length > 0 then