Log the type of exceptions caught by pub.

sdk/lib/_internal/pub/lib/src/command.dart

Index: sdk/lib/_internal/pub/lib/src/command.dart
diff --git a/sdk/lib/_internal/pub/lib/src/command.dart b/sdk/lib/_internal/pub/lib/src/command.dart
index b36cae4409859a61397ac218d4249ed71c815fdb..a6823384bef9a502fccfe4701087a2d25e110909 100644
--- a/sdk/lib/_internal/pub/lib/src/command.dart
+++ b/sdk/lib/_internal/pub/lib/src/command.dart
@@ -129,6 +129,7 @@ abstract class PubCommand {
       var message;
 
       log.error(getErrorMessage(error));
+      log.fine("Exception type: ${error.runtimeType}");

[Bob Nystrom, 2014/01/28 21:23:57]

It seems like we're just making work for ourselves. Maybe we should just log the
full toString() of the exception and be OK with showing the user the type name?

[nweiz, 2014/01/28 22:13:37]

Only certain "dart:" exceptions contain their types. The types of other
exceptions would still be unavailable. And the reasoning behind not showing the
"dart:" exception types is still sound -- it's confusing and not useful for end
users. Only showing it with "--verbose" or "--trace" hits our use cases better.

 
       if (options['trace'] || !isUserFacingException(error)) {
         log.error(chain.terse);