diff --git a/ompackagemanager/updateinfo.py b/ompackagemanager/updateinfo.py index 7191d373..d90d68ef 100755 --- a/ompackagemanager/updateinfo.py +++ b/ompackagemanager/updateinfo.py @@ -285,11 +285,17 @@ def main(): except FileNotFoundError: pass os.mkdir(repopath) - zipfilepath = repopath + "-" + tagName + ".zip" - with open(zipfilepath, 'wb') as fout: - fout.write(requests.get(sha, allow_redirects=True).content) - with zipfile.ZipFile(zipfilepath, 'r') as zip_ref: - zip_ref.extractall(repopath) + try: + zipfilepath = repopath + "-" + tagName + ".zip" + with open(zipfilepath, 'wb') as fout: + fout.write(requests.get(sha, allow_redirects=True).content) + with zipfile.ZipFile(zipfilepath, 'r') as zip_ref: + zip_ref.extractall(repopath) + except zipfile.BadZipfile: + print( + "Failed to download or extract zip file from URL: %s downloaded to %s" % + (sha, zipfilepath)) + raise else: gitrepo = getgitrepo(giturl, repopath + ".git") try: diff --git a/repos.json b/repos.json index d6e0608e..a3043a01 100644 --- a/repos.json +++ b/repos.json @@ -468,7 +468,8 @@ "names": ["ExternalMedia"], "zipfiles": { "3.3.2": "https://github.com/modelica-3rdparty/ExternalMedia/releases/download/v3.3.2/ExternalMedia-3.3.2.zip", - "4.0.0": "https://github.com/modelica-3rdparty/ExternalMedia/releases/download/v4.0.0/ExternalMedia-4.0.0.zip" + "4.0.0": "https://github.com/modelica-3rdparty/ExternalMedia/releases/download/v4.0.0/ExternalMedia-4.0.0.zip", + "4.1.1": "https://github.com/modelica-3rdparty/ExternalMedia/releases/download/v4.1.1/ExternalMedia-v4.1.1.zip" }, "support": [ [">=3.3.2", "fullSupport"],