2 Commits

Author SHA1 Message Date
32c12186c1 chore: upgrade to Dioxus 0.7 (#104) 2025-12-18 19:20:26 +00:00
2f933d5302 chore: upgrade to Dioxus 0.7
All checks were successful
actionlint check / actionlint check (pull_request) Successful in 5s
conventional commit messages check / conventional commit messages check (pull_request) Successful in 7s
conventional pull request title check / conventional pull request title check (pull_request) Successful in 5s
dotenv-linter check / dotenv-linter check (pull_request) Successful in 10s
hadolint check / hadolint check (pull_request) Successful in 16s
GitLeaks check / GitLeaks check (pull_request) Successful in 10s
htmlhint check / htmlhint check (pull_request) Successful in 35s
Prettier check / Prettier check (pull_request) Successful in 26s
markdownlint check / markdownlint check (pull_request) Successful in 31s
checkov check / checkov check (pull_request) Successful in 1m15s
ShellCheck check / ShellCheck check (pull_request) Successful in 30s
Stylelint check / Stylelint check (pull_request) Successful in 29s
yamllint check / yamllint check (pull_request) Successful in 27s
Rust check / Rust check (pull_request) Successful in 11m44s
2025-12-18 20:07:21 +01:00

View File

@@ -46,8 +46,15 @@ mod server_only {
let mut disconnected_client_ids = HashSet::new(); let mut disconnected_client_ids = HashSet::new();
let subscribed_clients = SUBSCRIBED_CLIENTS.read().await; let subscribed_clients = SUBSCRIBED_CLIENTS.read().await;
for (id, client) in subscribed_clients.iter() { for (id, client) in subscribed_clients.iter() {
if let Err(_) = client.websocket.lock().await.send(UpdateEvent).await { if client
disconnected_client_ids.insert(id.clone()); .websocket
.lock()
.await
.send(UpdateEvent)
.await
.is_err()
{
disconnected_client_ids.insert(*id);
} }
} }
drop(subscribed_clients); drop(subscribed_clients);