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
Diffstat (limited to '')
| -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}")  |