testing: ssh script accepts IP addresses instead of host names

diff --git a/testing/ssh b/testing/ssh
index 9e6d49a..0de44d0 100755 (executable)
--- a/testing/ssh
+++ b/testing/ssh
@@ -10,11 +10,18 @@ then
 fi
 
 host=$1
 fi
 
 host=$1

-ip="`echo $HOSTNAMEIPV4 | sed -n -e "s/^.*${host},//gp" | awk -F, '{ print $1 }' | awk '{ print $1 }'`"
-if [ -z $ip ]
+echo "$host" | grep -q "^\([0-9]\+\.\|[0-9a-fA-F]\+:\).*"
+if [ $? -eq 0 ]

 then
 then

-       echo "Host '$host' unknown"
-       exit 1
+       # assume we got an ip address
+       ip=$host
+else
+       ip="`echo $HOSTNAMEIPV4 | sed -n -e "s/^.*${host},//gp" | awk -F, '{ print $1 }' | awk '{ print $1 }'`"
+       if [ -z $ip ]
+       then
+               echo "Host '$host' unknown"
+               exit 1
+       fi

 fi
 
 shift
 fi
 
 shift