diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/update/tools.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/update/tools.py b/bin/update/tools.py index 5a3e34521b40..1e14f793cceb 100644 --- a/bin/update/tools.py +++ b/bin/update/tools.py @@ -1,5 +1,6 @@ import os import hashlib +import zipfile import tarfile def uncompress_file_to_dir(compressed_file, uncompress_dir): @@ -16,6 +17,9 @@ def uncompress_file_to_dir(compressed_file, uncompress_dir): tar.extractall(uncompress_dir) tar.close() elif extension == '.zip': + zip_file = zipfile.ZipFile(compressed_file) + zip_file.extractall(uncompress_dir) + zip_file.close() pass else: print("Error: unknown extension " + extension) |