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 | # |
