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

Add user_ids fields for query_members

Browse Source
This commit is contained in:
Tarek
2020-05-26 11:24:15 +02:00
committed by Rapptz
parent 0140e1ed6a
commit a972c95f12
3 changed files with 23 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
discord/state.py
View File

@ -326,7 +326,7 @@ class ConnectionState:
else:
log.info('Finished requesting guild member chunks for %d guilds.', len(guilds))
async def query_members(self, guild, query, limit, cache):
async def query_members(self, guild, query, limit, user_ids, cache):
guild_id = guild.id
ws = self._get_websocket(guild_id)
if ws is None:
@ -341,7 +341,7 @@ class ConnectionState:
future = self.receive_member_query(guild_id, nonce)
try:
# start the query operation
await ws.request_chunks(guild_id, query, limit, nonce=nonce)
await ws.request_chunks(guild_id, query=query, limit=limit, user_ids=user_ids, nonce=nonce)
members = await asyncio.wait_for(future, timeout=5.0)
if cache: