|
@@ -46,7 +46,7 @@ pipeline {
|
|
|
if (params.profile == "prod") {
|
|
if (params.profile == "prod") {
|
|
|
SERVER_HOST = "110.41.82.21"
|
|
SERVER_HOST = "110.41.82.21"
|
|
|
SERVER_PORT = 22
|
|
SERVER_PORT = 22
|
|
|
- SERVER_HOST_NAME = "node1"
|
|
|
|
|
|
|
+ SERVER_HOST_NAME = "node2"
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
echo "部署服务器: ${SERVER_HOST}"
|
|
echo "部署服务器: ${SERVER_HOST}"
|