search

CrawlerEmporium / DiscordCrawler

Discord Bot - Discord moderation and misc tools - built upon discord.py
GNU General Public License v3.0
5 stars 4 forks source link

DBUG-11 $removeRole doesn't work with custom emoji #23

Closed crawltracker closed 3 years ago

crawltracker commented 3 years ago

What is the bug?: $removeRole doesn't work with custom emoji.

Severity: Medium

Steps to reproduce: Run $addRole using a custom emoji from the server.

Context: Seems like it's because command parameters are str by default, and don't compare to Emoji. Fixed in my copy by type hinting the emoji parameter to discord.Emoji.