diff options
| author | Rapptz <[email protected]> | 2016-10-10 20:09:06 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2017-01-03 09:51:49 -0500 |
| commit | 45c729b167509deb5e389a7812d0ae8f4cbc4e72 (patch) | |
| tree | 5617af109edb3d7b7fb0e28934bf57e4f664f362 /discord/ext | |
| parent | Remove Message.timestamp and make Message.channel_mentions lazy. (diff) | |
| download | discord.py-45c729b167509deb5e389a7812d0ae8f4cbc4e72.tar.xz discord.py-45c729b167509deb5e389a7812d0ae8f4cbc4e72.zip | |
Switch IDs to use int instead of str
Diffstat (limited to 'discord/ext')
| -rw-r--r-- | discord/ext/commands/converter.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/discord/ext/commands/converter.py b/discord/ext/commands/converter.py index 04dae3e9..b57e9436 100644 --- a/discord/ext/commands/converter.py +++ b/discord/ext/commands/converter.py @@ -90,7 +90,7 @@ class MemberConverter(IDConverter): else: result = _get_from_servers(bot, 'get_member_named', self.argument) else: - user_id = match.group(1) + user_id = int(match.group(1)) if server: result = server.get_member(user_id) else: @@ -118,7 +118,7 @@ class ChannelConverter(IDConverter): else: result = discord.utils.get(bot.get_all_channels(), name=self.argument) else: - channel_id = match.group(1) + channel_id = int(match.group(1)) if server: result = server.get_channel(channel_id) else: @@ -151,7 +151,7 @@ class RoleConverter(IDConverter): raise NoPrivateMessage() match = self._get_id_match() or re.match(r'<@&([0-9]+)>$', self.argument) - params = dict(id=match.group(1)) if match else dict(name=self.argument) + params = dict(id=int(match.group(1))) if match else dict(name=self.argument) result = discord.utils.get(server.roles, **params) if result is None: raise BadArgument('Role "{}" not found.'.format(self.argument)) @@ -187,7 +187,7 @@ class EmojiConverter(IDConverter): if result is None: result = discord.utils.get(bot.get_all_emojis(), name=self.argument) else: - emoji_id = match.group(1) + emoji_id = int(match.group(1)) # Try to look up emoji by id. if server: |