diff options
author | 2023-07-10 21:01:41 +0100 | |
---|---|---|
committer | 2023-08-26 11:34:11 +0200 | |
commit | 1af09899f9eac11c00d14d9a1e29fc31ff775003 (patch) | |
tree | 730a16acf0a20e83d8ad22511f0b46978bddabc3 | |
parent | use get_or_fetch_member provided by bot-core (diff) |
delete members utils module
-rw-r--r-- | bot/utils/members.py | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/bot/utils/members.py b/bot/utils/members.py deleted file mode 100644 index 838614b6f..000000000 --- a/bot/utils/members.py +++ /dev/null @@ -1,30 +0,0 @@ -import typing as t - -import discord - -from bot.log import get_logger - -log = get_logger(__name__) - - -async def handle_role_change( - member: discord.Member, - coro: t.Callable[..., t.Coroutine], - role: discord.Role -) -> None: - """ - Change `member`'s cooldown role via awaiting `coro` and handle errors. - - `coro` is intended to be `discord.Member.add_roles` or `discord.Member.remove_roles`. - """ - try: - await coro(role) - except discord.NotFound: - log.debug(f"Failed to change role for {member} ({member.id}): member not found") - except discord.Forbidden: - log.debug( - f"Forbidden to change role for {member} ({member.id}); " - f"possibly due to role hierarchy" - ) - except discord.HTTPException as e: - log.error(f"Failed to change role for {member} ({member.id}): {e.status} {e.code}") |