From 87af358c898681b0e15c7928f0c723541b3aa64c Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Tue, 19 Nov 2019 18:01:12 +0100
Subject: [PATCH] BadZipFile is new in version 3.2
---
scripts/doc.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/doc.py b/scripts/doc.py
index be150ba..f652d1e 100755
--- a/scripts/doc.py
+++ b/scripts/doc.py
@@ -2,7 +2,7 @@
from io import BytesIO
from pathlib import Path
-from zipfile import BadZipFile, ZipFile
+from zipfile import ZipFile
import requests
@@ -25,7 +25,7 @@ if __name__ == '__main__':
z = ZipFile(BytesIO(r.content))
path.mkdir(parents=True, exist_ok=True)
z.extractall(str(path))
- except BadZipFile:
+ except Exception:
pass
if path.exists():
--
GitLab