Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (revision 1212) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java (working copy) |
@@ -485,7 +485,7 @@ |
* @param exception the exception being logged |
*/ |
public static void logInformation(String message, Throwable exception) { |
- getPlugin().getLog().log(new Status(Status.INFO, PLUGIN_ID, message, exception)); |
+ getPlugin().getLog().log(new Status(Status.INFO, PLUGIN_ID, "INFO: " + message, exception)); |
} |
/** |