language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-01 14:21:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

LSP: Make sure the sender channel is droped when closing

Browse source 
It might keep alive the IO thread otherwise
This commit is contained in:
Olivier Goffart 2021-05-02 15:10:48 +02:00
parent 16fe50fed1
commit c119d28237
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tools/lsp/preview.rs
View file

@ -120,6 +120,12 @@ pub fn quit_ui_event_loop() {
sixtyfps_rendering_backend_default::backend().post_event(Box::new(|| { sixtyfps_rendering_backend_default::backend().post_event(Box::new(|| {
sixtyfps_rendering_backend_default::backend().quit_event_loop(); sixtyfps_rendering_backend_default::backend().quit_event_loop();
})); }));
// Make sure then sender channel gets dropped
if let Some(cache) = CONTENT_CACHE.get() {
let mut cache = cache.lock().unwrap();
cache.sender = None;
};
} }
pub enum PostLoadBehavior { pub enum PostLoadBehavior {