decrease client stop timeout

d-biehl · d-biehl · commit 683b683ac0ad · 2022-09-06T09:08:23.000+02:00
diff --git a/vscode-client/languageclientsmanger.ts b/vscode-client/languageclientsmanger.ts
@@ -136,7 +136,7 @@ export class LanguageClientsManager {
     this.clients.clear();
 
     for (const client of clients) {
-      promises.push(client.stop(10000));
+      promises.push(client.stop(5000));
     }
 
     return Promise.all(promises).then(
@@ -501,7 +501,7 @@ export class LanguageClientsManager {
         this.clients.delete(workspaceFolder.uri.toString());
 
         if (client) {
-          await client.stop(10000);
+          await client.stop(5000);
           await sleep(500);
         }
       } else {

Original file line number	Diff line number	Diff line change
`@@ -136,7 +136,7 @@ export class LanguageClientsManager {`
`136`	`136`	`this.clients.clear();`
`137`	`137`
`138`	`138`	`for (const client of clients) {`
`139`		`- promises.push(client.stop(10000));`
	`139`	`+ promises.push(client.stop(5000));`
`140`	`140`	`}`
`141`	`141`
`142`	`142`	`return Promise.all(promises).then(`
`@@ -501,7 +501,7 @@ export class LanguageClientsManager {`
`501`	`501`	`this.clients.delete(workspaceFolder.uri.toString());`
`502`	`502`
`503`	`503`	`if (client) {`
`504`		`- await client.stop(10000);`
	`504`	`+ await client.stop(5000);`
`505`	`505`	`await sleep(500);`
`506`	`506`	`}`
`507`	`507`	`} else {`