Merge pull request #377 from mahkoh/jorth/container-damage
wayland: kill clients in event-handling stage
This commit is contained in:
commit
5625b0585f
2 changed files with 6 additions and 3 deletions
|
|
@ -137,5 +137,8 @@ async fn send(data: Rc<Client>) {
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
data.state.clients.kill(data.id);
|
let run_toplevel = data.state.run_toplevel.clone();
|
||||||
|
run_toplevel.schedule(move || {
|
||||||
|
data.state.clients.kill(data.id);
|
||||||
|
});
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -230,10 +230,10 @@ impl EiClient {
|
||||||
match self.connection.get() {
|
match self.connection.get() {
|
||||||
Some(d) => {
|
Some(d) => {
|
||||||
d.send_disconnected(Some(&msg));
|
d.send_disconnected(Some(&msg));
|
||||||
self.state.clients.shutdown(self.id);
|
self.state.ei_clients.shutdown(self.id);
|
||||||
}
|
}
|
||||||
_ => {
|
_ => {
|
||||||
self.state.clients.kill(self.id);
|
self.state.ei_clients.kill(self.id);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue