Prefix paths with the "file://" protocol

This is required for error positioning
2012-04-24 20:18:30 +04:00
parent d1a6c3e7f5
commit ef90a333ba
1 changed files with 2 additions and 1 deletions
@@ -453,7 +453,8 @@ public class JetCompiler implements TranslatingCompiler {

            message.setLength(0);

-            path = attributes.getValue("path");
+            String rawPath = attributes.getValue("path");
+            path = rawPath == null ? null : "file://" + rawPath;
            line = safeParseInt(attributes.getValue("line"), -1);
            column = safeParseInt(attributes.getValue("column"), -1);
        }