mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-01-02 16:14:25 +00:00
Merge "Handle manifest parse errors in main"
This commit is contained in:
commit
4a4776e9ab
4
main.py
4
main.py
@ -49,6 +49,7 @@ from subcmds.version import Version
|
|||||||
from editor import Editor
|
from editor import Editor
|
||||||
from error import DownloadError
|
from error import DownloadError
|
||||||
from error import ManifestInvalidRevisionError
|
from error import ManifestInvalidRevisionError
|
||||||
|
from error import ManifestParseError
|
||||||
from error import NoSuchProjectError
|
from error import NoSuchProjectError
|
||||||
from error import RepoChangedException
|
from error import RepoChangedException
|
||||||
from manifest_xml import XmlManifest
|
from manifest_xml import XmlManifest
|
||||||
@ -397,6 +398,9 @@ def _Main(argv):
|
|||||||
close_ssh()
|
close_ssh()
|
||||||
except KeyboardInterrupt:
|
except KeyboardInterrupt:
|
||||||
result = 1
|
result = 1
|
||||||
|
except ManifestParseError as mpe:
|
||||||
|
print >>sys.stderr, 'fatal: %s' % mpe
|
||||||
|
result = 1
|
||||||
except RepoChangedException as rce:
|
except RepoChangedException as rce:
|
||||||
# If repo changed, re-exec ourselves.
|
# If repo changed, re-exec ourselves.
|
||||||
#
|
#
|
||||||
|
Loading…
Reference in New Issue
Block a user