| Index: compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| diff --git a/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java b/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| index 21d6c21d0ace52c570fa4b58fe16c4fbb375d188..947c6f1734f5bb18a36a2ed204a62c27171db687 100644
|
| --- a/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| +++ b/compiler/java/com/google/dart/compiler/PrettyErrorFormatter.java
|
| @@ -91,7 +91,7 @@ public class PrettyErrorFormatter extends DefaultErrorFormatter {
|
| escapePipe(event.getErrorCode().getErrorSeverity().toString()),
|
| escapePipe(event.getErrorCode().getSubSystem().toString()),
|
| escapePipe(event.getErrorCode().toString()),
|
| - escapePipe(sourceFile.getName()),
|
| + escapePipe(getSourceName(sourceFile)),
|
| event.getLineNumber(),
|
| 1 + col,
|
| length,
|
| @@ -153,6 +153,13 @@ public class PrettyErrorFormatter extends DefaultErrorFormatter {
|
| }
|
| }
|
| }
|
| +
|
| + private static String getSourceName(Source source) {
|
| + if (source instanceof UrlDartSource) {
|
| + return source.getUri().toString();
|
| + }
|
| + return source.getName();
|
| + }
|
|
|
| private String escapePipe(String input) {
|
| StringBuilder result = new StringBuilder();
|
|
|