Improve LSP shutdown behaviour (#20)

Author: wintersteiger

package-lock.json

@@ -6,7 +6,7 @@
   "publisher": "Imandra",
   "icon": "assets/vscode-imandra-avatar.png",
   "license": "MIT",
-  "version": "0.0.11",
+  "version": "0.0.12",
   "repository": {
     "type": "git",
     "url": "https://github.com/imandra-ai/imandrax-vscode"

package.json

@@ -176,8 +176,8 @@ export async function start() {
 }
 
 // Sleep for the number of seconds
-async function sleep(time_s: number) {
-	return new Promise(resolve => setTimeout(resolve, time_s * 1000));
+async function sleep(time_ms: number) {
+	return new Promise(resolve => setTimeout(resolve, time_ms));
 }
 
 export function restart(initial: boolean = false): Thenable<void> | undefined {
@@ -186,9 +186,13 @@ export function restart(initial: boolean = false): Thenable<void> | undefined {
 	else {
 		clientRestarts += 1;
 		console.log(`Restarting Imandrax LSP server (attempt ${clientRestarts})`);
+		client.sendRequest("shutdown", null); // Try to shut down gracefully.
 		client.stop();
+
 		window.activeTextEditor.setDecorations(decoration_type_good, []);
 		window.activeTextEditor.setDecorations(decoration_type_bad, []);
+
+		sleep(500); // Give it a bit of time to avoid races on the log file.
 	}
 	return start();
 }
@@ -198,6 +202,7 @@ export function deactivate(): Thenable<void> | undefined {
 		return undefined;
 	}
 	console.log("Deactivating ImandraX LSP server");
+	client.sendRequest("shutdown", null);
 	const c = client;
 	client = null;
 	return c.stop();