diff options
author | metamuffin <metamuffin@disroot.org> | 2025-05-18 15:02:18 +0200 |
---|---|---|
committer | metamuffin <metamuffin@disroot.org> | 2025-05-18 15:02:18 +0200 |
commit | 477f85145c6bb6eec7e86796651afaa35da0e7d2 (patch) | |
tree | b779ec076538e81becd7536350cbbf1c0322952a /src/worker_ws.rs | |
parent | 439f184ac655eb649f056cdf0b9326dcc0af4648 (diff) | |
download | isda-477f85145c6bb6eec7e86796651afaa35da0e7d2.tar isda-477f85145c6bb6eec7e86796651afaa35da0e7d2.tar.bz2 isda-477f85145c6bb6eec7e86796651afaa35da0e7d2.tar.zst |
webui live updating
Diffstat (limited to 'src/worker_ws.rs')
-rw-r--r-- | src/worker_ws.rs | 2 |
1 files changed, 2 insertions, 0 deletions
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<RwLock<State>>) { assigned_tasks: HashSet::new(), }, ); + g.send_webui_worker_update(id); id }; @@ -144,6 +145,7 @@ async fn worker_websocket_inner(ws: WebSocket, state: Arc<RwLock<State>>) { g.loading.remove(&key); g.queue.insert(key); } + g.send_webui_worker_removal(worker); } } |