diff --git a/api/Jenkinsfile.ble_test b/api/Jenkinsfile.ble_test index 443874b..59323f4 100644 --- a/api/Jenkinsfile.ble_test +++ b/api/Jenkinsfile.ble_test @@ -87,11 +87,13 @@ pipeline { while ! pgrep -f "tail.*ble_test_${env.TEST_HASH}" > /dev/null; do sleep 1 done - while pgrep -f "tail.*ble_test_${env.TEST_HASH}" > /dev/null; do - if ! screen -list | grep -q ble_test_${env.TEST_HASH}; then - pkill -9 -f "tail.*ble_test_${env.TEST_HASH}" - fi - sleep 5 + while true; do + while pgrep -f "tail.*ble_test_${env.TEST_HASH}" > /dev/null; do + if ! screen -list | grep -q ble_test_${env.TEST_HASH}; then + pkill -9 -f "tail.*ble_test_${env.TEST_HASH}" + fi + sleep 5 + done done exit '