diff options
Diffstat (limited to 'system/jenkins/files/jenkinsd.sh')
-rw-r--r-- | system/jenkins/files/jenkinsd.sh | 119 |
1 files changed, 119 insertions, 0 deletions
diff --git a/system/jenkins/files/jenkinsd.sh b/system/jenkins/files/jenkinsd.sh new file mode 100644 index 0000000000..f10ed4f9ab --- /dev/null +++ b/system/jenkins/files/jenkinsd.sh @@ -0,0 +1,119 @@ +#!/bin/sh +# Copyright 2008,2009 Vincent Batts, Birmingham, AL, USA +# Copyright 2010,2011 Vincent Batts, Vienna, VA, USA +# vbatts@hashbangbash.com, http://hashbangbash.com/ +# All rights reserved. +# +# Redistribution and use of this script, with or without modification, is +# permitted provided that the following conditions are met: +# +# 1. Redistributions of this script must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ''AS IS'' AND ANY EXPRESS OR IMPLIED +# WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF +# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO +# EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; +# OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR +# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF +# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +JAVA=$(which java) +JENKINS="/usr/share/jenkins/jenkins.war" +JENKINS_USER="jenkins" +JENKINS_HTTP_PORT="8080" +JENKINS_LOG_FILE="/var/log/jenkins/jenkins.log" +JENKINS_CONSOLELOG_FILE="/var/log/jenkins/jenkins_console.log" +JENKINS_PID_DIR="/var/run/jenkins/" +JENKINS_PID_FILE="$JENKINS_PID_DIR/jenkins.pid" +JENKINS_WEBAPPSDIR="/var/lib/jenkins/apps/" +JENKINS_WEBROOT="/var/lib/jenkins/webroot/" +JENKINS_HOME="/var/lib/jenkins" +OPT_ARGS="" + +# Override some of the above settings, if defined in jenkins.conf +if [ -f /etc/jenkins/jenkins.conf ] ; then + . /etc/jenkins/jenkins.conf +fi + +export JENKINS_HOME + +PREV_PID=$( pgrep -f "$JENKINS" ) +if [ ! "$PREV_PID" = "" ] ; then + echo $PREV_PID still running + exit 1 +fi + +if [ "$JENKINS_PREFIX" != "" ] ; then + JENKINS_PREFIX_ARG="--prefix=$JENKINS_PREFIX" +fi + +if [ "$JENKINS_HTTP_PORT" != "" ] ; then + JENKINS_HTTP_PORT_ARG="--httpPort=$JENKINS_HTTP_PORT" +fi + +if [ "$JENKINS_HTTP_LISTENING_ADDRESS" != "" ] ; then + JENKINS_HTTP_LISTENING_ADDRESS_ARG="--httpListenAddress=$JENKINS_HTTP_LISTENING_ADDRESS" +fi + +if [ "$JENKINS_HTTPS_PORT" != "" ] ; then + JENKINS_HTTPS_PORT_ARG="--httpsPort=$JENKINS_HTTPS_PORT" +fi + +if [ "$JENKINS_HTTPS_LISTENING_ADDRESS" != "" ] ; then + JENKINS_HTTPS_LISTENING_ADDRESS_ARG="--httpsListenAddress=$JENKINS_HTTPS_LISTENING_ADDRESS" +fi + +if [ "$JENKINS_HTTPS_KEYSTORE" != "" ] ; then + JENKINS_HTTPS_KEYSTORE_ARG="--httpsKeyStore=$JENKINS_HTTPS_KEYSTORE" +fi + +if [ "$JENKINS_HTTPS_KEYSTORE_PASSWORD" != "" ] ; then + JENKINS_HTTPS_KEYSTORE_PASSWORD_ARG="--httpsKeyStorePassword=$JENKINS_HTTPS_KEYSTORE_PASSWORD" +fi + +if [ "$JENKINS_HTTPS_KEY_MANAGER" != "" ] ; then + JENKINS_HTTPS_KEY_MANAGER_ARG="--httpsKeyManagerType=$JENKINS_HTTPS_KEY_MANAGER" +fi + +if [ "$JENKINS_LOG_FILE" != "" ] ; then + JENKINS_LOG_FILE_ARG="--logfile=$JENKINS_LOG_FILE" +fi + +if [ "$JENKINS_WEBAPPSDIR" != "" ] ; then + JENKINS_WEBAPPSDIR_ARG="--webapssDir=$JENKINS_WEBAPPSDIR" +fi + +if [ "$JENKINS_WEBROOT" != "" ] ; then + JENKINS_WEBROOT_ARG="--webroot=$JENKINS_WEBROOT" +fi + +mkdir -p $JENKINS_PID_DIR +chown $JENKINS_USER $JENKINS_PID_DIR + +su - $JENKINS_USER -c " \ + JENKINS_HOME=$JENKINS_HOME \ + exec setsid \ + $JAVA -jar $JENKINS \ + $JENKINS_HTTP_PORT_ARG \ + $JENKINS_HTTP_LISTENING_ADDRESS_ARG \ + $JENKINS_HTTPS_PORT_ARG \ + $JENKINS_PREFIX_ARG \ + $JENKINS_HTTPS_LISTENING_ADDRESS_ARG \ + $JENKINS_HTTPS_KEYSTORE_ARG \ + $JENKINS_HTTPS_KEYSTORE_PASSWORD_ARG \ + $JENKINS_HTTPS_KEY_MANAGER_ARG \ + $JENKINS_LOG_FILE_ARG \ + $JENKINS_WEBAPPSDIR_ARG \ + $JENKINS_WEBROOT_ARG \ + $OPT_ARGS \ + </dev/null >> $JENKINS_CONSOLELOG_FILE 2>&1 & + + echo \$! > $JENKINS_PID_FILE + disown \$! + + " + |