Provide a notification on editor build failing.

mdenet · Jan 22, 2024 · 6ec5118 · 6ec5118
1 parent c4cc805
commit 6ec5118
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -1033,6 +1033,8 @@ async function checkEditorReady(statusUrl, editorInstanceUrl, editorPanelId, edi
         if (result.error){
             // Unsuccessful
             console.log("Editor failed start.");
+            Metro.notify.killAll();
+            notification("Build Failed", "An error occurred while building the editor.");
 
         } else if (!result.editorReady){
             await new Promise(resolve => setTimeout(resolve, 2000));