|
@@ -247,7 +247,7 @@ workDir='${BASE_DIR}/workspace'
|
|
|
#-------------------------------------------------------------------
|
|
#-------------------------------------------------------------------
|
|
|
java='${BASE_DIR}/env/java/${JDK11_DIR_NAME}/bin/java'
|
|
java='${BASE_DIR}/env/java/${JDK11_DIR_NAME}/bin/java'
|
|
|
agent_file='$agent_file'
|
|
agent_file='$agent_file'
|
|
|
-java_mem_opts=' -DappName=jenkins-agent $java_opts_ext'
|
|
|
|
|
|
|
+java_mem_opts=' -DappName=jenkins-agent $java_mem_opts'
|
|
|
database_opts='$database_opts'
|
|
database_opts='$database_opts'
|
|
|
java_opts_ext='$java_opts_ext'
|
|
java_opts_ext='$java_opts_ext'
|
|
|
#-------------------------------------------------------------------
|
|
#-------------------------------------------------------------------
|
