Merge pull request #157 from mdenet/fix/files-maybe-null

Be a bit more defensive about URL-loaded files
mdenet · Jan 9, 2024 · 6abb4f2 · 6abb4f2
2 parents 0c5e816 + d2dc75b
commit 6abb4f2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/platform/src/ActivityManager.js b/platform/src/ActivityManager.js
@@ -375,8 +375,10 @@ class ActivityManager {
                 let panelURLString = this.interpolate(apanel.file);
                 apanel.url =  new URL(panelURLString, this.activitiesUrl).href; 
                 let file = this.fetchFile(panelURLString);
-                apanel.file = file.content;
-                apanel.sha = file.sha; 
+                if (file) {
+                    apanel.file = file.content;
+                    apanel.sha = file.sha; 
+                }
             };
 
             // Resolve the panel definition reference