From b172b602ad46b4d4a9ee714bba5c002552e33a4b Mon Sep 17 00:00:00 2001 From: Bjoern Gruening Date: Fri, 25 Oct 2013 10:34:28 +0200 Subject: [PATCH] add [ and ] to mapped strings and advanced filters --- tools/stats/filtering.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/stats/filtering.py b/tools/stats/filtering.py index 80b6e51d145..e0a29b2e244 100644 --- a/tools/stats/filtering.py +++ b/tools/stats/filtering.py @@ -48,6 +48,8 @@ mapped_str = { '__ge__': '>=', '__sq__': '\'', '__dq__': '"', + '__ob__': '[', + '__cb__': ']', } for key, value in mapped_str.items(): cond_text = cond_text.replace( key, value )