From ef0bc5fcdeba6fac287e509af9003d6d77f8a375 Mon Sep 17 00:00:00 2001 From: Jacob Date: Sat, 10 Feb 2024 16:08:12 +0800 Subject: [PATCH] tools/build_release.py: fixed bug with not sanitizing port.json['name'] --- tools/build_release.py | 4 ++++ tools/prepare_repo.sh | 15 +++++++++++---- 2 files changed, 15 insertions(+), 4 deletions(-) diff --git a/tools/build_release.py b/tools/build_release.py index da9c710f5a..fc5e39236a 100644 --- a/tools/build_release.py +++ b/tools/build_release.py @@ -238,6 +238,10 @@ def load_port(port_dir, manifest, registered, port_status, quick_build=False): error(port_dir.name, f"Bad port directory {dir_name[:-1]!r}, recommended name is {name_cleaner(dir_name[:-1])!r}") broken = True + else: + # Another bug :D + port_data['port_json']['name'] = name_cleaner(port_data['port_json']['name']) + # This is an abomination. :D if (port_check_bf & (1<