CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-12-07 09:52:30 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix behavior of the menu() function calls without user param (#6324)

Browse Source
This commit is contained in:
Jakub Kuczys
2024-03-24 00:16:44 +01:00
committed by GitHub
parent 76c2c75f2c
commit a26b9d6d3a
3 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
redbot/core/utils/menus.py
View File

@@ -80,7 +80,7 @@ async def menu(
The ``user`` parameter is considered `provisional <developer-guarantees-exclusions>`.
If no issues arise, we plan on including it under developer guarantees
in the first release made after 2024-05-18.
in the first release made after 2024-05-24.
.. warning::
@@ -168,7 +168,7 @@ async def menu(
This parameter is `provisional <developer-guarantees-exclusions>`.
If no issues arise, we plan on including it under developer guarantees
in the first release made after 2024-05-18.
in the first release made after 2024-05-24.
Raises
------
@@ -287,7 +287,7 @@ async def menu(
if len(done) == 0:
raise asyncio.TimeoutError()
react, user = done.pop().result()
react, __ = done.pop().result()
except asyncio.TimeoutError:
if not ctx.me:
return