From ab4cf9f6d42b3d59976042288b1e64c228becde7 Mon Sep 17 00:00:00 2001 From: Moritz Warning Date: Sun, 13 Sep 2020 14:20:29 +0200 Subject: [PATCH] misc/collect.py: do not upper case the release name --- misc/collect.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/misc/collect.py b/misc/collect.py index 26b9876..5425504 100755 --- a/misc/collect.py +++ b/misc/collect.py @@ -147,7 +147,7 @@ def scrape(args): else: json.dump(output, outfile, sort_keys=True) - versions[release.upper()] = "data/{}/overview.json".format(release) + versions[release] = "data/{}/overview.json".format(release) update_config(config_path, versions) @@ -192,7 +192,7 @@ def scrape_wget(args): if len(profiles) == 0: continue - versions[release.upper()] = "data/{}/overview.json".format(release) + versions[release] = "data/{}/overview.json".format(release) output = merge_profiles( profiles, "https://{}/targets/{{target}}".format(base) @@ -269,7 +269,7 @@ def scan(args): if len(profiles) == 0: continue - versions[release.upper()] = "data/{}/overview.json".format(release) + versions[release] = "data/{}/overview.json".format(release) output = merge_profiles( profiles, "https://{}/{}/targets/{{target}}".format(args.domain, base_dir) -- 2.30.2