on master help sign in
Use a deadline when eagerly processing notifications
commitf2d8ce3415fa2dcc6be283415c42219fd399adb2 authorBlaž Hrastnik <blaz@mxxn.io> dateFri 25 Jun 2021, 13:22 (5 years ago) parent503ca11
1 file changed+7
helix-term/src/application.rs+7
helix-term/src/application.rs+7
@@ -159,9 +159,16 @@ impl Application {
159159 }
160160 Some((id, call)) = self.editor.language_servers.incoming.next() => {
161161 self.handle_language_server_message(call, id).await;
162+
162163 // eagerly process any other available notifications/calls
164+ let now = std::time::Instant::now();
165+ let deadline = std::time::Duration::from_millis(10);
163166 while let Some(Some((id, call))) = self.editor.language_servers.incoming.next().now_or_never() {
164167 self.handle_language_server_message(call, id).await;
168+
169+ if now.elapsed() > deadline { // use a deadline so we don't block too long
170+ break;
171+ }
165172 }
166173 self.render();
167174 }