From 477f85145c6bb6eec7e86796651afaa35da0e7d2 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Sun, 18 May 2025 15:02:18 +0200 Subject: webui live updating --- src/worker_ws.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/worker_ws.rs') diff --git a/src/worker_ws.rs b/src/worker_ws.rs index 526de82..c98e08d 100644 --- a/src/worker_ws.rs +++ b/src/worker_ws.rs @@ -85,6 +85,7 @@ async fn worker_websocket_inner(ws: WebSocket, state: Arc>) { assigned_tasks: HashSet::new(), }, ); + g.send_webui_worker_update(id); id }; @@ -144,6 +145,7 @@ async fn worker_websocket_inner(ws: WebSocket, state: Arc>) { g.loading.remove(&key); g.queue.insert(key); } + g.send_webui_worker_removal(worker); } } -- cgit v1.2.3-70-g09d2