chiark / gitweb /
fix source tarball filename for media files
authorHans-Christoph Steiner <hans@eds.org>
Fri, 10 Mar 2017 18:05:01 +0000 (19:05 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Fri, 10 Mar 2017 18:05:51 +0000 (19:05 +0100)
bug from 07ce9488097c1361c1cc1a515773fb73199550bf

fdroidserver/update.py

index b10146f5c0b4067f7094e401256fd59f376d91e9..8b2612e3906aec475e994b6fc8440ce32be776bc 100644 (file)
@@ -588,7 +588,7 @@ def scan_repo_files(apkcache, repodir, knownapks, use_date_from_file=False):
                    and common.is_valid_package_name(name.split('_')[0]):
                     repo_file['id'] = packageName
                     repo_file['versioncode'] = int(versionCode)
-            srcfilename = name + ".src.tar.gz"
+            srcfilename = name + "_src.tar.gz"
             if os.path.exists(os.path.join(repodir, srcfilename)):
                 repo_file['srcname'] = srcfilename
             repo_file['size'] = stat.st_size