Notify the runner when the web UI is ready (#268)

Co-authored-by: Luca Invernizzi <invernizzi@google.com> Co-authored-by: Julien Cretin <cretin@google.com>
google · Oct 24, 2023 · 17ff1ff · 17ff1ff
1 parent 7e7d9ab
commit 17ff1ff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/runner-host/crates/web-server/public/board.js b/crates/runner-host/crates/web-server/public/board.js
@@ -345,6 +345,9 @@ class Board {
       this._components.push(component);
     }
     this._drawer.appendStatus("Board is ready!");
+    this._channel.send({
+      componentType: "board_ready",
+    });
   }
 
   async start() {