Report raw paths, not URLs, convert when needed

This commit is contained in:
Andrey Breslav
2012-11-09 15:25:43 +04:00
parent 3d394cc49b
commit e2d504c78e
2 changed files with 2 additions and 2 deletions
@@ -208,7 +208,7 @@ public class CompilerRunnerUtil {
message.setLength(0);
String rawPath = attributes.getValue("path");
path = rawPath == null ? null : "file://" + rawPath;
path = rawPath == null ? null : rawPath;
line = safeParseInt(attributes.getValue("line"), -1);
column = safeParseInt(attributes.getValue("column"), -1);
}