Fixes microsoft#26840: Hard crash (of everything) when terminating running task

dbaeumer · dbaeumer · commit be70f203a417 · 2017-05-22T12:31:39.000+02:00
diff --git a/src/vs/base/node/terminateProcess.sh b/src/vs/base/node/terminateProcess.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 terminateTree() {
-    for cpid in $(pgrep -P $1); do
+    for cpid in $(/usr/bin/pgrep -P $1); do
         terminateTree $cpid
     done
     kill -9 $1 > /dev/null 2>&1
