From 5b02428beeb37b0b82a8dd43ac8c53a752c55c40 Mon Sep 17 00:00:00 2001 From: Julian Orth Date: Fri, 21 Feb 2025 21:23:29 +0100 Subject: [PATCH] wayland: kill clients in event-handling stage --- src/client/tasks.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/client/tasks.rs b/src/client/tasks.rs index 5e49ef0d..97d2fb88 100644 --- a/src/client/tasks.rs +++ b/src/client/tasks.rs @@ -137,5 +137,8 @@ async fn send(data: Rc) { ); } } - data.state.clients.kill(data.id); + let run_toplevel = data.state.run_toplevel.clone(); + run_toplevel.schedule(move || { + data.state.clients.kill(data.id); + }); }