Index: isolate.py |
diff --git a/isolate.py b/isolate.py |
index 9ab79a8d2b19ecd391f20c160e5fc55f3ac3621a..74f8ae9a510b4114fb7d66ff901306b7b1337eae 100755 |
--- a/isolate.py |
+++ b/isolate.py |
@@ -2451,11 +2451,10 @@ def main(argv): |
return dispatcher.execute(OptionParserIsolate(version=__version__), argv) |
except ( |
ExecutionError, |
+ IOError, |
isolateserver.ConfigError, |
isolateserver.MappingError) as e: |
- sys.stderr.write('\nError: ') |
- sys.stderr.write(str(e)) |
- sys.stderr.write('\n') |
+ tools.report_error(str(e), include_traceback=True) |
M-A Ruel
2013/10/29 22:42:50
You may want to handle anything then? E.g. "except
|
return 1 |