@@ -295,7 +295,7 @@ function verify_ssh_server_key {
kill ${pid}
}
-while [[ $# > 0 ]]
+while [ $# -gt 0 ]
do
key="$1"