Index: editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/browser/BrowserLaunchConfigurationDelegate.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/browser/BrowserLaunchConfigurationDelegate.java (revision 6092) |
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/browser/BrowserLaunchConfigurationDelegate.java (working copy) |
@@ -157,11 +157,13 @@ |
if (result.getExitCode() != 0) { |
String errMsg = NLS.bind( |
- "Failure to launch - unable to generate JavaScript for {0}.\n\nPlease see console for more details.", |
+ "Failure to launch - unable to generate JavaScript for {0}.\n\nPlease see console or log for more details.", |
devoncarew
2012/04/02 17:34:11
the console
|
resource.getName()); |
errMsg = errMsg.trim(); |
+ DartDebugCorePlugin.logError(result.getAllOutput()); |
+ |
throw new CoreException(new Status(IStatus.ERROR, DartDebugUIPlugin.PLUGIN_ID, errMsg)); |
} |
} else { |