Allow URL interpolation in tool URLs

This means that tools can be generated on the fly if needed, for example for Xtext.
mdenet · Jan 10, 2024 · da3c852 · da3c852
1 parent d5f26e0
commit da3c852
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/platform/src/ActivityManager.js b/platform/src/ActivityManager.js
@@ -485,8 +485,10 @@ class ActivityManager {
          var toolUrls = [];
 
          for ( const activitykey of  Object.keys(this.activities)){
-
-            toolUrls = toolUrls.concat( this.activities[activitykey].tools );
+            toolUrls = toolUrls.concat(this.activities[activitykey].tools
+                                                                   .map((url, _idx) => { 
+                                                                            return this.interpolate(url); 
+                                                                        }));
          }
 
          return ( new Set(toolUrls) );