| Index: chrome/common/extensions/docs/build/directory.py
|
| diff --git a/chrome/common/extensions/docs/build/directory.py b/chrome/common/extensions/docs/build/directory.py
|
| index f95344fcb099a27b46e54c358f24ac5548d29a5e..04c748fe1baa83f8ce662519df3bf410f52248cd 100644
|
| --- a/chrome/common/extensions/docs/build/directory.py
|
| +++ b/chrome/common/extensions/docs/build/directory.py
|
| @@ -640,6 +640,8 @@ class Sample(dict):
|
| old_zip_file = zipfile.ZipFile(zip_path, 'r')
|
| except IOError, msg:
|
| raise Exception("Could not read zip at %s: %s" % (zip_path, msg))
|
| + except zipfile.BadZipfile, msg:
|
| + raise Exception("File at %s is not a zip file: %s" % (zip_path, msg))
|
|
|
| try:
|
| info = old_zip_file.getinfo(zip_manifest_path)
|
|
|