From 9fd9a5b10f102bb0b35f78fe506133ea99edf29d Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Fri, 22 Jul 2016 23:20:20 -0500
Subject: openrc-devel-20160721-1: updating version

---
 pcr/openrc-devel/jenkins.initd | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 pcr/openrc-devel/jenkins.initd

(limited to 'pcr/openrc-devel/jenkins.initd')

diff --git a/pcr/openrc-devel/jenkins.initd b/pcr/openrc-devel/jenkins.initd
new file mode 100644
index 000000000..de15a76c2
--- /dev/null
+++ b/pcr/openrc-devel/jenkins.initd
@@ -0,0 +1,38 @@
+#!/usr/bin/openrc-run
+
+
+JENKINS_PIDFILE=/run/jenkins.pid
+ARGS="$JAVA_ARGS $JAVA_OPTS -jar $JENKINS_WAR $JENKINS_WEBROOT $JENKINS_PORT $JENKINS_AJPPORT $JENKINS_OPTS"
+
+depend() {
+    need net
+    use dns logger mysql postgresql
+}
+
+checkconfig() {
+    if [ ! -n "$JENKINS_HOME" ] ; then
+        eerror "JENKINS_HOME not configured"
+        return 1
+    fi
+    if [ ! -d "$JENKINS_HOME" ] ; then
+        checkpath -q -d -o jenkins:jenkins -m 0755 "$JENKINS_HOME" || return 1
+    fi
+    return 0
+}
+
+start() {
+    checkconfig || return 1
+
+    ebegin "Starting ${SVCNAME}"
+    start-stop-daemon --start --quiet --background \
+        --make-pidfile --pidfile $JENKINS_PIDFILE \
+        --user ${JENKINS_USER} \
+        --exec "${JAVA}" -- ${ARGS}
+    eend $?
+}
+
+stop() {
+    ebegin "Stopping ${SVCNAME}"
+    start-stop-daemon --stop --quiet --pidfile $JENKINS_PIDFILE
+    eend $?
+}
-- 
cgit v1.2.3-2-g168b