diff --git a/indra/develop.py b/indra/develop.py index 928165e765f3e2519b1eb537f3f2d824951b036b..a987bb3da634b39850718419142b3911c4181132 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -705,13 +705,14 @@ def main(arguments): print >> sys.stderr, 'Error: unknown subcommand', repr(cmd) print >> sys.stderr, "(run 'develop.py --help' for help)" sys.exit(1) - except CommandError, err: - print >> sys.stderr, 'Error:', err - sys.exit(1) except getopt.GetoptError, err: print >> sys.stderr, 'Error with %r subcommand: %s' % (cmd, err) sys.exit(1) if __name__ == '__main__': - main(sys.argv[1:]) + try: + main(sys.argv[1:]) + except CommandError, err: + print >> sys.stderr, 'Error:', err + sys.exit(1)