WIP: Hard kill server to accelerate shutdown

Author: pimterry

src/stop-server.ts

@@ -14,6 +14,10 @@ const isRunning = (pid: number) => {
 }
 
 export async function stopServer(proc: ChildProcess.ChildProcess, token: string) {
+    hardKill(proc).catch((e) => {
+        console.log('Error during hard kill of server process:', e);
+    });
+
     await softShutdown(token)
         .catch(console.log); // If that fails, continue shutting down anyway
 
@@ -31,6 +35,8 @@ export async function stopServer(proc: ChildProcess.ChildProcess, token: string)
             break;
         }
     } while (isRunning(proc.pid!))
+
+    console.log('Server process stopped');
 }
 
 function softShutdown(token: string) {