MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

resolving priority fixed

Browse Source
This commit is contained in:
Dmitry Avdeev
2012-08-01 15:15:59 +04:00
parent e53b5bf034
commit 636b72cce9
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java
+6 -4
View File
@@ -143,11 +143,13 @@ public class ExternalResourceManagerImpl extends ExternalResourceManagerEx imple
public String getResourceLocation(@NonNls String url, String version) {
String result = getUserResource(url, version);
if (result == null) {
result = getStdResource(url, version);
XMLCatalogManager manager = getCatalogManager();
if (manager != null) {
result = manager.resolve(url);
}
}
XMLCatalogManager manager = getCatalogManager();
if (manager != null) {
result = manager.resolve(url);
if (result == null) {
result = getStdResource(url, version);
}
if (result == null) {
result = url;