| Index: isolateserver.py
|
| diff --git a/isolateserver.py b/isolateserver.py
|
| index d2ad16b8804489b4249553f65f44addf7f67f305..93575a46646452c14f183eeadc92498aec1fe1cf 100755
|
| --- a/isolateserver.py
|
| +++ b/isolateserver.py
|
| @@ -1652,10 +1652,8 @@ def main(args):
|
| try:
|
| return dispatcher.execute(
|
| OptionParserIsolateServer(version=__version__), args)
|
| - except (ConfigError, MappingError) as e:
|
| - sys.stderr.write('\nError: ')
|
| - sys.stderr.write(str(e))
|
| - sys.stderr.write('\n')
|
| + except Exception as e:
|
| + tools.report_error(e)
|
| return 1
|
|
|
|
|
|
|