From eb32c9f4472bda60d68bb0c8b26620afeacdfa0a Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Sun, 22 Dec 2024 11:30:18 +0100
Subject: [PATCH] minor: Tell the server to stop prior to restarting it

---
 editors/code/src/ctx.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 4a3f66b00d..459754b1d1 100644
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -347,6 +347,8 @@ export class Ctx implements RustAnalyzerExtensionApi {
         }
         log.info("Disposing language client");
         this.updateCommands("disable");
+        // we give the server 100ms to stop gracefully
+        await this.client?.stop(100).catch((_) => {});
         await this.disposeClient();
     }