diff options
Diffstat (limited to 'testcases/vPing/CI/libraries/ping.sh')
-rw-r--r-- | testcases/vPing/CI/libraries/ping.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/testcases/vPing/CI/libraries/ping.sh b/testcases/vPing/CI/libraries/ping.sh deleted file mode 100644 index 693b8682..00000000 --- a/testcases/vPing/CI/libraries/ping.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -while true; do - ping -c 1 $1 2>&1 >/dev/null - RES=$? - if [ "Z$RES" = "Z0" ] ; then - echo 'vPing OK' - break - else - echo 'vPing KO' - fi - sleep 1 -done
\ No newline at end of file |