Removed errant proc.kill()

tweag · Nov 21, 2024 · 9c65477 · 9c65477
1 parent c678b0f
commit 9c65477
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lsp/lsp-harness/src/jsonrpc.rs b/lsp/lsp-harness/src/jsonrpc.rs
@@ -133,8 +133,7 @@ impl Server {
     /// exhausting the PID pool when thousands of servers are created.
     pub fn die(mut self) -> Result<()> {
         self.shutdown()?;
-        self.proc.kill()?;
-        self.proc.wait()?; // force cleanup of process (kill alone is insufficient)
+        self.proc.wait()?;
         Ok(())
     }