chore(els): relax client health checking timeout

erg-lang · Sep 26, 2024 · ab06244 · ab06244
1 parent a129141
commit ab06244
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/crates/els/diagnostics.rs b/crates/els/diagnostics.rs
@@ -518,8 +518,8 @@ impl<Checker: BuildRunnable, Parser: Parsable> Server<Checker, Parser> {
     /// Send an empty `workspace/configuration` request periodically.
     /// If there is no response to the request within a certain period of time, terminate the server.
     pub fn start_client_health_checker(&self, receiver: Receiver<WorkerMessage<()>>) {
-        const INTERVAL: Duration = Duration::from_secs(5);
-        const TIMEOUT: Duration = Duration::from_secs(10);
+        const INTERVAL: Duration = Duration::from_secs(10);
+        const TIMEOUT: Duration = Duration::from_secs(30);
         if self.stdout_redirect.is_some() {
             return;
         }