Author: sdzmitrovich
Date: 2008-09-23 12:25:21 -0400 (Tue, 23 Sep 2008)
New Revision: 10420
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/util/DocTypeUtil.java
Log:
corrected loading of init page
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/util/DocTypeUtil.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/util/DocTypeUtil.java 2008-09-23
16:14:03 UTC (rev 10419)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/util/DocTypeUtil.java 2008-09-23
16:25:21 UTC (rev 10420)
@@ -335,11 +335,14 @@
if (element.hasAttribute(attributeName)) {
Attr attr = element.getAttributeNode(attributeName);
+
+ File file = new File(attr.getValue());
+ if (!file.exists()) {
+ // corrected path
+ attr.setValue(initFile.getParent()
+ + File.separator + attr.getValue());
- // corrected path
- attr.setValue(initFile.getParent() + File.separator
- + attr.getValue());
-
+ }
}
}