Merge pull request #18737 from Veykril/push-rslstwynmzpx

minor: Tell the server to stop prior to restarting it
This commit is contained in:
Lukas Wirth 2024-12-22 10:44:27 +00:00 committed by GitHub
commit ca17481170
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -347,6 +347,8 @@ export class Ctx implements RustAnalyzerExtensionApi {
} }
log.info("Disposing language client"); log.info("Disposing language client");
this.updateCommands("disable"); this.updateCommands("disable");
// we give the server 100ms to stop gracefully
await this.client?.stop(100).catch((_) => {});
await this.disposeClient(); await this.disposeClient();
} }