testing: ssh script accepts IP addresses instead of host names

diff --git a/testing/ssh b/testing/ssh
index 9e6d49a61062df3cec35f6c08c084a523bdb62f6..0de44d0a9b2ce4af0bf2898acef6cc05138bdfb2 100755 (executable)
--- a/testing/ssh
+++ b/testing/ssh
@@ -10,11 +10,18 @@ then
 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
-       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