diff options
author | 2018-05-20 23:23:17 +0100 | |
---|---|---|
committer | 2018-05-20 23:23:17 +0100 | |
commit | f5ffe7e2c4fe2ef15fb40dc839b121ca8c139511 (patch) | |
tree | 327879c89bb5474b1c674d2b78936d7c35a5a0f7 | |
parent | Small formatting fixes; don't send users that don't have the developer role (diff) |
Fix typing issue
-rw-r--r-- | bot/cogs/events.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/cogs/events.py b/bot/cogs/events.py index 6f9b502c2..3241e0bd8 100644 --- a/bot/cogs/events.py +++ b/bot/cogs/events.py @@ -25,7 +25,7 @@ class Events: self.bot = bot async def send_updated_users(self, *users, replace_all=False): - users = filter(lambda user: VERIFIED_ROLE in user["roles"], users) + users = filter(lambda user: str(VERIFIED_ROLE) in user["roles"], users) try: if replace_all: |