diff options
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -49,6 +49,7 @@ from subcmds.version import Version | |||
49 | from editor import Editor | 49 | from editor import Editor |
50 | from error import DownloadError | 50 | from error import DownloadError |
51 | from error import ManifestInvalidRevisionError | 51 | from error import ManifestInvalidRevisionError |
52 | from error import ManifestParseError | ||
52 | from error import NoSuchProjectError | 53 | from error import NoSuchProjectError |
53 | from error import RepoChangedException | 54 | from error import RepoChangedException |
54 | from manifest_xml import XmlManifest | 55 | from manifest_xml import XmlManifest |
@@ -397,6 +398,9 @@ def _Main(argv): | |||
397 | close_ssh() | 398 | close_ssh() |
398 | except KeyboardInterrupt: | 399 | except KeyboardInterrupt: |
399 | result = 1 | 400 | result = 1 |
401 | except ManifestParseError as mpe: | ||
402 | print >>sys.stderr, 'fatal: %s' % mpe | ||
403 | result = 1 | ||
400 | except RepoChangedException as rce: | 404 | except RepoChangedException as rce: |
401 | # If repo changed, re-exec ourselves. | 405 | # If repo changed, re-exec ourselves. |
402 | # | 406 | # |