From ea2dc6a9de2caa915b9e9eba1be902c5d3c86f9c Mon Sep 17 00:00:00 2001 From: Leander Furumo Date: Tue, 3 Nov 2026 01:37:56 +0100 Subject: [PATCH] handle unknown guild ids in leave Co-Authored-By: Claude Opus 5.5 --- bot/src/cogs/dev_tools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bot/src/cogs/dev_tools.py b/bot/src/cogs/dev_tools.py index 53b14c2..35cfc7a 100644 --- a/bot/src/cogs/dev_tools.py +++ b/bot/src/cogs/dev_tools.py @@ -70,7 +70,7 @@ class DevTools(commands.Cog): # Get guild try: guild = await self.bot.fetch_guild(guild_id) - except discord.errors.Forbidden: + except (discord.errors.Forbidden, discord.errors.NotFound): embed = embed_templates.error_warning("Bot is not a member of this guild") return await ctx.reply(embed=embed)