summaryrefslogtreecommitdiffstats
path: root/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'main.py')
-rwxr-xr-xmain.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/main.py b/main.py
index 6236dd3d..5e575c56 100755
--- a/main.py
+++ b/main.py
@@ -49,6 +49,7 @@ from subcmds.version import Version
49from editor import Editor 49from editor import Editor
50from error import DownloadError 50from error import DownloadError
51from error import ManifestInvalidRevisionError 51from error import ManifestInvalidRevisionError
52from error import ManifestParseError
52from error import NoSuchProjectError 53from error import NoSuchProjectError
53from error import RepoChangedException 54from error import RepoChangedException
54from manifest_xml import XmlManifest 55from 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 #