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

Decrement Guild.member_count even if member is not cached

Browse Source 
Fix #4021
This commit is contained in:
Rapptz 2020-04-19 18:21:21 -04:00
parent 0a24e3716e
commit 0d5e6e213c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
discord/state.py
View File

@ -686,11 +686,11 @@ class ConnectionState:
def parse_guild_member_remove(self, data): def parse_guild_member_remove(self, data):
guild = self._get_guild(int(data['guild_id'])) guild = self._get_guild(int(data['guild_id']))
if guild is not None: if guild is not None:
guild._member_count -= 1
user_id = int(data['user']['id']) user_id = int(data['user']['id'])
member = guild.get_member(user_id) member = guild.get_member(user_id)
if member is not None: if member is not None:
guild._remove_member(member) guild._remove_member(member)
guild._member_count -= 1
self.dispatch('member_remove', member) self.dispatch('member_remove', member)
else: else:
log.warning('GUILD_MEMBER_REMOVE referencing an unknown guild ID: %s. Discarding.', data['guild_id']) log.warning('GUILD_MEMBER_REMOVE referencing an unknown guild ID: %s. Discarding.', data['guild_id'])