diff options
| author | 2020-07-23 07:51:56 +0300 | |
|---|---|---|
| committer | 2020-07-23 07:51:56 +0300 | |
| commit | b040a38ea1e3c7baddb54395a1f09d11fdd4e818 (patch) | |
| tree | 847ab610cf7527c89b311d49721035494ddc144a | |
| parent | Silence: Add mod alert sending to `closing_tasks` to avoid error (diff) | |
Add copyright about `_remove_extension` + make function private
| -rw-r--r-- | bot/bot.py | 4 | 
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/bot.py b/bot/bot.py index c9eb24bb5..f5f76b7f8 100644 --- a/bot/bot.py +++ b/bot/bot.py @@ -92,8 +92,8 @@ class Bot(commands.Bot):          self._recreate()          super().clear() -    def remove_extensions(self) -> None: -        """Remove all extensions and Cog to close bot. Copy from discord.py's own `close` for right closing order.""" +    def _remove_extensions(self) -> None: +        """Remove all extensions and Cog to close bot. Copyright (c) 2015-2020 Rapptz (discord.py, MIT License)."""          for extension in tuple(self.extensions):              try:                  self.unload_extension(extension)  |