From dcac61fd1dcdd941d0e5ddd36d0e64ebd7869d6b Mon Sep 17 00:00:00 2001 From: mvdbeek Date: Mon, 12 Jul 2021 18:29:19 +0200 Subject: [PATCH] Fix linting in grep.py script --- tools/filters/grep.py | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/tools/filters/grep.py b/tools/filters/grep.py index 2cd8e0c4d3d..fad39281aac 100644 --- a/tools/filters/grep.py +++ b/tools/filters/grep.py @@ -70,14 +70,14 @@ def main(): # replace if input has been escaped, remove sq # characters that are allowed but need to be escaped - mapped_chars = {'>' : '__gt__', - '<' : '__lt__', + mapped_chars = {'>': '__gt__', + '<': '__lt__', '\'': '__sq__', - '"' : '__dq__', - '[' : '__ob__', - ']' : '__cb__', - '{' : '__oc__', - '}' : '__cc__'} + '"': '__dq__', + '[': '__ob__', + ']': '__cb__', + '{': '__oc__', + '}': '__cc__'} # with new sanitizing we only need to replace for single quote, # but this needs to remain for backwards compatibility