diff options
-rwxr-xr-x | clients/admintool.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/clients/admintool.sh b/clients/admintool.sh deleted file mode 100755 index 889dd19..0000000 --- a/clients/admintool.sh +++ /dev/null @@ -1,19 +0,0 @@ -while :; do - ( - for i in $( cut -d" " -f1 pingswitches.txt ); do - ADMINADDR=$( echo $i | perl -pi -le '@x = split /\./; $x[3] += 2; $_ = join(".", @x);' ) - ( ( - if ping -c2 -W3 -q $ADMINADDR >/dev/null; then - grep $i pingswitches.txt | sed 's/^/PONGER: /' - else - grep $i pingswitches.txt | sed 's/^/PONGER IKKE: /' - fi - ) & ) - done - ) > pong.new - while pidof ping > /dev/null; do sleep 1; done - mv pong.new pong - echo "sleeping" - sleep 10 -done - |