jeff/group_bot
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Clean up

Browse Source
This commit is contained in:
Jeff 2024-06-16 09:31:56 -04:00
parent 49e6f8a68b
commit 3345822010
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/bot.rs
View File

@ -278,9 +278,9 @@ impl Bot {
self.client
.player_list()
.iter()
.find_map(|(id, info)| {
.find_map(|(uid, info)| {
if info.player_alias == name {
Some(id.clone())
Some(uid.clone())
} else {
None
}