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

[commands] Fix when_mentioned when handling nicknames.

Browse Source
This commit is contained in:
Rapptz 2016-05-01 07:06:02 -04:00
parent 21c88cf727
commit fdaa4299a3
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
discord/ext/commands/bot.py
View File

@ -49,6 +49,9 @@ def _get_variable(name):
def when_mentioned(bot, msg): def when_mentioned(bot, msg):
"""A callable that implements a command prefix equivalent """A callable that implements a command prefix equivalent
to being mentioned, e.g. ``@bot ``.""" to being mentioned, e.g. ``@bot ``."""
server = msg.server
if server is not None:
return '{0.me.mention} '.format(server)
return '{0.user.mention} '.format(bot) return '{0.user.mention} '.format(bot)
def when_mentioned_or(*prefixes): def when_mentioned_or(*prefixes):
@ -67,7 +70,7 @@ def when_mentioned_or(*prefixes):
""" """
def inner(bot, msg): def inner(bot, msg):
r = list(prefixes) r = list(prefixes)
r.append('{0.user.mention} '.format(bot)) r.append(when_mentioned(bot, msg))
return r return r
return inner return inner