matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Make Message.channel_mentions unique.

Browse Source
This commit is contained in:
Rapptz 2016-06-27 21:44:29 -04:00
parent e600abbbab
commit 01a46f0612
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
discord/message.py
View File

@ -146,10 +146,8 @@ class Message:
self.mentions.append(member) self.mentions.append(member)
if self.server is not None: if self.server is not None:
for mention in self.raw_channel_mentions: it = filter(None, map(lambda m: self.server.get_channel(m), self.raw_channel_mentions))
channel = self.server.get_channel(mention) self.channel_mentions = utils._unique(it)
if channel is not None:
self.channel_mentions.append(channel)
for role_id in role_mentions: for role_id in role_mentions:
role = utils.get(self.server.roles, id=role_id) role = utils.get(self.server.roles, id=role_id)