jarvis/jarvis-bot
jarvis/jarvis-bot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix regex

Browse source
This commit is contained in:
Zeva Rose 2021-07-03 17:45:36 -06:00
parent c9d452539c
commit e0b9640dc1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
jarvis/cogs/admin.py
View file

@ -182,7 +182,7 @@ class AdminCog(commands.Cog):
bans = await ctx.guild.bans()
# Try to get ban information out of Discord
if re.match("^[0-9]{1,}$"): # User ID
if re.match("^[0-9]{1,}$", user): # User ID
user = int(user)
discord_ban_info = find(lambda x: x.id == user, bans)
else: # User name