private String sourceURL(String url) { File baseDirectory = dataDir().getResourceLoader().getBaseDirectory(); File file = Files.url(baseDirectory, url); if (file != null) { return Paths.convert(baseDirectory, file); } return url; }
private String source(URL url) { File baseDirectory = dataDir().getResourceLoader().getBaseDirectory(); if (url.getProtocol().equals("file")) { File file = Files.url(baseDirectory, url.toExternalForm()); if (file != null && !file.isAbsolute()) { return Paths.convert(baseDirectory, file); } } return url.toExternalForm(); }
private String sourceFile(String file) { File baseDirectory = dataDir().getResourceLoader().getBaseDirectory(); File f = new File(file); return f.isAbsolute() ? file : Paths.convert(baseDirectory, f); }
private String source(File file) { File baseDirectory = dataDir().getResourceLoader().getBaseDirectory(); return file.isAbsolute() ? file.toString() : Paths.convert(baseDirectory, file); }