CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-11-06 11:18:54 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update dev_commands.py (#3649)

Browse Source
This commit is contained in:
jack1142 2020-03-28 23:05:50 +01:00 committed by GitHub
parent ecdcc27749
commit 3f7c2e8842
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
redbot/core/dev_commands.py
View File

@ -119,6 +119,7 @@ class Dev(commands.Cog):
"discord": discord,
"commands": commands,
"_": self._last_result,
"__name__": "__main__",
}
code = self.cleanup_code(code)
@ -172,6 +173,7 @@ class Dev(commands.Cog):
"discord": discord,
"commands": commands,
"_": self._last_result,
"__name__": "__main__",
}
body = self.cleanup_code(body)
@ -224,6 +226,7 @@ class Dev(commands.Cog):
"asyncio": asyncio,
"_": None,
"__builtins__": __builtins__,
"__name__": "__main__",
}
if ctx.channel.id in self.sessions: