diff --git a/api/Jenkinsfile.ble_test b/api/Jenkinsfile.ble_test index 9119943..66f252c 100644 --- a/api/Jenkinsfile.ble_test +++ b/api/Jenkinsfile.ble_test @@ -85,10 +85,10 @@ pipeline { steps { sshagent([env.SSH_CREDENTIALS_ID]) { sh """ - ssh -o StrictHostKeyChecking=no root@${params.host_ip} \ - while screen -list | grep -q ble_test_${env.TEST_HASH}; do - tail -f /tmp/ble_test_${env.TEST_HASH}.log - done + ssh -o StrictHostKeyChecking=no root@${params.host_ip} -o ServerAliveInterval=60 -o ServerAliveCountMax=120 << EOF + while screen -list | grep -q ble_test_${env.TEST_HASH}; do + tail -f /tmp/ble_test_${env.TEST_HASH}.log + done """ } }