Add "Restart Phan Language Server" command

This is handy when the language server crashes.

Author: Ben Merritt

package.json

@@ -39,6 +39,7 @@
     "url": "https://github.com/phan/phan/issues"
   },
   "activationEvents": [
+    "onCommand:phan.restartLanguageServer",
     "onLanguage:php",
     "workspaceContains:**/*.php"
   ],
@@ -67,6 +68,13 @@
     "vscode-languageclient": "^6.1.4"
   },
   "contributes": {
+    "commands": [
+      {
+        "command": "phan.restartLanguageServer",
+        "title": "Restart Phan Language Server",
+        "category": "Phan"
+      }
+    ],
     "configuration": {
       "type": "object",
       "title": "PHP - Phan Analyzer",

src/extension.ts

@@ -430,11 +430,20 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
         return new LanguageClient('Phan Language Server', serverOptions, clientOptions);
     };
 
+    const languageClients = analyzedProjectDirectories.map(createClient);
+
+    async function restartLanguageClients(): Promise<void> {
+        for (const client of languageClients) {
+            await client.stop();
+            context.subscriptions.push(client.start());
+        }
+    }
+    context.subscriptions.push(vscode.commands.registerCommand('phan.restartLanguageServer', restartLanguageClients));
+
     console.log('starting PHP Phan language server');
-    // Create the language client and start the client.
-    for (const dirToAnalyze of analyzedProjectDirectories) {
+    for (const client of languageClients) {
         // Push the disposable to the context's subscriptions so that the
         // client can be deactivated on extension deactivation
-        context.subscriptions.push(createClient(dirToAnalyze).start());
+        context.subscriptions.push(client.start());
     }
 }