|
@@ -516,7 +516,7 @@ httpPort=\\\${1:-'30003'}
|
|
|
#-------------------------------------------------------------------
|
|
#-------------------------------------------------------------------
|
|
|
java='$java_path/bin/java'
|
|
java='$java_path/bin/java'
|
|
|
jar_file='${BASE_DIR}/jenkins/jenkins.war'
|
|
jar_file='${BASE_DIR}/jenkins/jenkins.war'
|
|
|
-java_mem_opts=' -DappName=jenkins $java_opts_ext'
|
|
|
|
|
|
|
+java_mem_opts=' -DappName=jenkins $java_mem_opts'
|
|
|
database_opts='$database_opts'
|
|
database_opts='$database_opts'
|
|
|
java_opts_ext='$java_opts_ext'
|
|
java_opts_ext='$java_opts_ext'
|
|
|
#-------------------------------------------------------------------
|
|
#-------------------------------------------------------------------
|
