Changeset 1524 for trunk/src/org/expeditee/gui/management/ResourceManager.java

Timestamp:

03/24/20 09:40:55 (4 years ago)

Author:

bnemhaus

Message:

Added ability to have ${EXPEDITEE.HOME} used in @File annotations.

File:

• trunk/src/org/expeditee/gui/management/ResourceManager.java (modified) (1 diff)

trunk/src/org/expeditee/gui/management/ResourceManager.java

@@ -312 +312 @@
                         for (String s: unresolved) {
                                 String local = ResourceUtil.substitute(s, ResourceUtil.CURRENT_FRAMESET_FLAG, p.toString());
+                                local = ResourceUtil.substitute(local, ResourceUtil.EXPEDITEE_HOME, expediteeHome.toString());
                                 resolved.add(local);
                         }