diff --git a/script/tools/common.sh b/script/tools/common.sh index fa361d44c55962956935c3e1c896216472847798..aed0abcca614479a5dfb0931fa37c0ee454beaaf 100644 --- a/script/tools/common.sh +++ b/script/tools/common.sh @@ -121,6 +121,8 @@ function replace_release_server_ip() sed -i "s/RELEASE_SERVER_PORT=\"${RELEASE_SERVER_PORT}\"/RELEASE_SERVER_PORT=""/g" ${setupfile} fi break + else + sed -i "/${RELEASE_SERVER_IP}/d" ~/.ssh/known_hosts fi done }