command: restart futhark language server

package.json

@@ -45,7 +45,14 @@
       "type": "object",
       "title": "Futhark",
       "properties": {}
-    }
+    },
+    "commands": [
+      {
+        "command": "futhark.commands.restartServer",
+        "title": "Restart Futhark Language Server",
+        "category": "Futhark"
+      }
+    ]
   },
   "scripts": {
     "vscode:prepublish": "rm -rf ./out && npm run esbuild -- --minify",
@@ -63,6 +70,7 @@
     "typescript": "^4.5.5"
   },
   "dependencies": {
+    "@types/which": "^2.0.1",
     "vscode-languageclient": "^7.0.0",
     "which": "^2.0.2"
   }

src/extension.ts

@@ -1,5 +1,5 @@
 import which from 'which'
-import { window } from 'vscode'
+import { window, commands, ExtensionContext } from 'vscode'
 import {
   LanguageClient,
   LanguageClientOptions,
@@ -10,7 +10,7 @@ import {
 let client: LanguageClient
 
 // entry point of the extension
-export async function activate() {
+export async function activate(context: ExtensionContext) {
   which('futhark')
     .then((resolvedPath) => {
       // run `futhark lsp` to fire up the language server
@@ -35,6 +35,17 @@ export async function activate() {
         clientOptions
       )
 
+      const restartCommand = commands.registerCommand(
+        'futhark.commands.restartServer',
+        async () => {
+          client.info('Restarting server...')
+          await client.stop()
+          client.info('Starting server...')
+          client.start()
+        }
+      )
+      context.subscriptions.push(restartCommand)
+
       client.start()
     })
     .catch((err) => {