node killed with a simple "kill -9"

only sudo commands need the "pgrep ... | sudo xargs kill -9" trick
2018-05-18 02:38:31 +02:00 · 2018-05-18 02:38:31 +02:00 · 083c37802a
parent 5f0dd15f1e
commit 083c37802a
1 changed files with 1 additions and 1 deletions
--- a/tests/08-native-runs/01-test-data-structures.sh
+++ b/tests/08-native-runs/01-test-data-structures.sh
@ -16,7 +16,7 @@ sleep 2

 echo "Closing native node"
 sleep 2
-pgrep ${CODE:0:15} | xargs kill -9
+kill -9 ${CPID}

 if grep -q "=check-me= FAILED" $CODE.log ; then
  echo "==== make.log ====" ; cat make.log;