From def865cb413376104dac494d8ca1836516c57a67 Mon Sep 17 00:00:00 2001
From: Stephen J Carnam <steve@steveorevo.com>
Date: Tue, 13 Aug 2024 18:38:46 -0700
Subject: [PATCH] Remove errant PIDs

---
 vscode.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/vscode.php b/vscode.php
index 102625f..53dd5cf 100644
--- a/vscode.php
+++ b/vscode.php
@@ -378,9 +378,12 @@ public function update_token( $user ) {
             // Find the node vscode pid for the given user
             $cmd = "ps axo user:20,pid,args | grep \"/opt/vscode/node /opt/vscode/out/server-main.js\" | grep $user | awk '{print $2}'";
             $pid = trim( shell_exec( $cmd ) );
-
+            
             // Restart the vscode server for the given user
             if ( $pid ) {
+
+                // Turn $pid into space separated list of pids to kill them all
+                $pid = str_replace( PHP_EOL, ' ', $pid );
                 shell_exec( "kill $pid" );
 
                 // Restart the VSCode service manually (outside of PM2).