Merge branch 'development' into pls-merge-me

2018-06-21 10:48:39 -08:00
parent 6f7e3b4bbc 776b8d009c
commit 222760f6a0
2 changed files with 116 additions and 1 deletions
@@ -13,7 +13,7 @@ class BotManager:
            # The member is a bot
            bot_owner = member.guild.get_member(await self.bot.db_con.fetchval('select owner from bots where id = $1', member.id))
            await bot_owner.add_roles(discord.utils.get(member.guild.roles, name='Bot Developers'))
-            
+
            await member.add_roles(discord.utils.get(member.guild.roles, name='Bots'))
            try:
                await member.edit(nick='[' + await self.bot.db_con.fetchval('select prefix from bots where id = $1', member.id)