| Index: dart/sdk/lib/_internal/dartdoc/bin/dartdoc.dart
|
| diff --git a/dart/sdk/lib/_internal/dartdoc/bin/dartdoc.dart b/dart/sdk/lib/_internal/dartdoc/bin/dartdoc.dart
|
| index c84c72c7d717860bab8bcfdefa2974ed9e990cac..658b2338e65569bf0feffa94e9b2083c10e0f502 100644
|
| --- a/dart/sdk/lib/_internal/dartdoc/bin/dartdoc.dart
|
| +++ b/dart/sdk/lib/_internal/dartdoc/bin/dartdoc.dart
|
| @@ -251,8 +251,9 @@ main() {
|
| }
|
| })
|
| .catchError((e) {
|
| - print('Error: generation failed: ${e.error}');
|
| - exit(1);
|
| + print('Error: generation failed: ${e}');
|
| + dartdoc.cleanup();
|
| + exit(1);
|
| })
|
| .whenComplete(() => dartdoc.cleanup());
|
| }
|
|
|