btlog: include index-v2.json entry.json and entry.jar

This commit is contained in:
Hans-Christoph Steiner 2022-05-23 20:35:08 +02:00
parent dc3175cc06
commit 7be0ec3572
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA

View file

@ -182,7 +182,15 @@ def main():
os.makedirs(tempdir, exist_ok=True) os.makedirs(tempdir, exist_ok=True)
gitrepodir = os.path.join(options.git_repo, repodir) gitrepodir = os.path.join(options.git_repo, repodir)
os.makedirs(gitrepodir, exist_ok=True) os.makedirs(gitrepodir, exist_ok=True)
for f in ('index.jar', 'index.xml', 'index-v1.jar', 'index-v1.json'): for f in (
'entry.jar',
'entry.json',
'index-v1.jar',
'index-v1.json',
'index-v2.json',
'index.jar',
'index.xml',
):
dlfile = os.path.join(tempdir, f) dlfile = os.path.join(tempdir, f)
dlurl = options.url + '/' + repodir + '/' + f dlurl = options.url + '/' + repodir + '/' + f
http_headers_file = os.path.join(gitrepodir, f + '.HTTP-headers.json') http_headers_file = os.path.join(gitrepodir, f + '.HTTP-headers.json')