From 2f759c65d89b796ee7136b0d3e2cb5757a5fcf95 Mon Sep 17 00:00:00 2001 From: romangraef Date: Mon, 9 Jul 2018 21:27:06 +0200 Subject: added language channel filter --- modules/execute.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'modules') diff --git a/modules/execute.py b/modules/execute.py index 4d3f426..1d9102e 100644 --- a/modules/execute.py +++ b/modules/execute.py @@ -7,6 +7,7 @@ from discord import Embed, Color, Message, Guild, TextChannel, Member from discord.ext.commands import Bot from compile_api import execute +from filter import verify CODE_BLOCK_REGEX: Pattern = re.compile("```(?P.*)\n(?P[\\s\\S]*?)```") INPUT_BLOCK_REGEX: Pattern = re.compile("input[: \t\n]*```(?P.*)?\n(?P[\\s\\S]*?)```", re.IGNORECASE) @@ -90,7 +91,10 @@ class ExecuteCog(object): f"{(timedelta(seconds=30)-delta).seconds}secs")) if not author.guild_permissions.manage_messages: self.last_messaged[author.id] = datetime.now() - response = await execute(code, *languages[lang]) + language, version = languages[lang] + if not verify(message, language): + return + response = await execute(code, language, version) if response.status_code == 429: return await channel.send( embed=Embed( -- cgit