| 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));
|
| }
|
|
|
| /**
|
|
|