From a6326a665638b5ad8f2c67f4a84e3e9e76976140 Mon Sep 17 00:00:00 2001
From: akwizgran <michael@briarproject.org>
Date: Sat, 12 Mar 2022 21:23:03 +0000
Subject: [PATCH] Use basename to create URL.
---
verify_tor_utils.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/verify_tor_utils.py b/verify_tor_utils.py
index 9d370b0..a0d67f9 100755
--- a/verify_tor_utils.py
+++ b/verify_tor_utils.py
@@ -62,5 +62,5 @@ def verify(version, platform):
def get_url(versions, platform):
version = get_version_tag(versions)
directory = "tor-%s" % platform
- file = get_final_file_name(versions, platform)
+ file = os.path.basename(get_final_file_name(versions, platform))
return "https://repo.maven.apache.org/maven2/org/briarproject/%s/%s/%s" % (directory, version, file)
--
GitLab