Merge pull request #165 from mdenet/fix/39-xtext-tool-doesnt-report-b…

…ack-editor-generation-errors Provide a notification on editor builds failing
mdenet · Jan 23, 2024 · bceb4b9 · bceb4b9
2 parents c4cc805 + 8f9cd51
commit bceb4b9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -1033,6 +1033,10 @@ async function checkEditorReady(statusUrl, editorInstanceUrl, editorPanelId, edi
         if (result.error){
             // Unsuccessful
             console.log("Editor failed start.");
+            sessionStorage.removeItem(editorPanelId);
+            activityManager.setActivityVisibility(editorActivityId, false);
+            Metro.notify.killAll();
+            notification("Build Failed", result.error, "ribbed-lightAmber");
 
         } else if (!result.editorReady){
             await new Promise(resolve => setTimeout(resolve, 2000));