Allow pinging discord users based on nick or username
This commit is contained in:
parent
ee832eb515
commit
69deba3493
|
@ -251,7 +251,9 @@ fn irc_to_discord_processing(
|
||||||
.entry(slice.to_owned())
|
.entry(slice.to_owned())
|
||||||
.or_insert_with(|| {
|
.or_insert_with(|| {
|
||||||
self.members.iter().find_map(|member| {
|
self.members.iter().find_map(|member| {
|
||||||
(slice == member.display_name().as_str()).then(|| member.user.id.0)
|
(slice == member.display_name().as_str()
|
||||||
|
|| slice == member.user.name.as_str())
|
||||||
|
.then(|| member.user.id.0)
|
||||||
})
|
})
|
||||||
})
|
})
|
||||||
.map(UserId);
|
.map(UserId);
|
||||||
|
|
Loading…
Reference in a new issue