Noi/WorldTime
1
0
Fork 0
mirror of https://github.com/NoiTheCat/WorldTime.git synced 2024-11-24 01:14:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix not finding user via ping

Browse source
This commit is contained in:
Noi 2020-03-01 13:55:13 -08:00
parent e1f8bf8b6e
commit d355cd9d8f
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
commands.py
View file

@ -279,9 +279,10 @@ class WtCommands:
except ValueError: except ValueError:
pass pass
if inputstr.startswith('<@!') and inputstr.endswith('>'): if inputstr.startswith('<@!') and inputstr.endswith('>'):
idsearch = inputstr[3:][:-1] idsearch = int(inputstr[3:][:-1])
if inputstr.startswith('<@') and inputstr.endswith('>'): elif inputstr.startswith('<@') and inputstr.endswith('>'):
idsearch = inputstr[2:][:-1] idsearch = int(inputstr[2:][:-1])
if idsearch is not None: if idsearch is not None:
return guild.get_member(idsearch) return guild.get_member(idsearch)