From f1d28c0fad4615128a8579fcb41601539cb03717 Mon Sep 17 00:00:00 2001 From: Benoit Chevallier-Mames Date: Thu, 21 Oct 2021 15:27:15 +0200 Subject: [PATCH] chore(benchmarks): manage comma and point signs --- script/progress_tracker_utils/measure.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/script/progress_tracker_utils/measure.py b/script/progress_tracker_utils/measure.py index 1d7b53e9c..62bdb69b3 100644 --- a/script/progress_tracker_utils/measure.py +++ b/script/progress_tracker_utils/measure.py @@ -23,6 +23,8 @@ def name_to_id(name): name = name.replace(" ", "-") name = name.replace("(", "") name = name.replace(")", "") + name = name.replace(",", "") + name = name.replace(".", "-") return urllib.parse.quote_plus(name.lower())