diff options
author | Conley Owens <cco3@android.com> | 2012-11-12 17:35:40 -0800 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2012-11-12 17:35:40 -0800 |
commit | 4a4776e9abfca33caca9f71f0f48c920065dbaf4 (patch) | |
tree | 9c29393cb2936a445c9297840715f36de2986ee9 /main.py | |
parent | 2fa715f8b56b8f512806cbd1b3e0bf1b98c23c7e (diff) | |
parent | 0b8df7be79d2b8b5d5a884fc2b0d070b42861459 (diff) | |
download | git-repo-4a4776e9abfca33caca9f71f0f48c920065dbaf4.tar.gz |
Merge "Handle manifest parse errors in main"
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 | # |