diff options
| author | 2018-05-20 23:15:04 +0100 | |
|---|---|---|
| committer | 2018-05-20 23:15:04 +0100 | |
| commit | fe0714c931e04412ce55b7d231357d8c2beb2f87 (patch) | |
| tree | e34710df6c3c6dd98ae596909bc62034cdd1d8a7 | |
| parent | Snake cog bugfixes (#81) (diff) | |
Small formatting fixes; don't send users that don't have the developer role
| -rw-r--r-- | bot/cogs/events.py | 12 | 
1 files changed, 10 insertions, 2 deletions
| diff --git a/bot/cogs/events.py b/bot/cogs/events.py index d8f5edd33..6f9b502c2 100644 --- a/bot/cogs/events.py +++ b/bot/cogs/events.py @@ -9,8 +9,8 @@ from discord.ext.commands import (  from bot.constants import (      DEBUG_MODE, DEVLOG_CHANNEL, PYTHON_GUILD, -    SITE_API_KEY, SITE_API_URL -) +    SITE_API_KEY, SITE_API_URL, +    VERIFIED_ROLE)  log = logging.getLogger(__name__)  USERS_URL = f"{SITE_API_URL}/bot/users" @@ -25,6 +25,8 @@ 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) +          try:              if replace_all:                  response = await self.bot.http_session.post( @@ -122,6 +124,12 @@ class Events:                      if value:                          if key == "deleted_oauth":                              key = "Deleted (OAuth)" +                        elif key == "deleted_jam_profiles": +                            key = "Deleted (Jammer Profiles)" +                        elif key == "deleted_responses": +                            key = "Deleted (Jam Form Responses)" +                        elif key == "jam_bans": +                            key = "Ex-Jammer Bans"                          else:                              key = key.title() | 
