diff options
| author | Sven Gothel <[email protected]> | 2018-12-10 07:13:24 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2018-12-10 07:13:24 +0100 |
| commit | 13b9b309d2ce446ece844319a605c53069fb6571 (patch) | |
| tree | 0b62cbae44e05492e366e1abe40984e1e53ee169 /jenkins-server-slave-setup/scripts/jenkins-initd-debian | |
| parent | adde84f2a01b2481fff863f083ad26c53ea448df (diff) | |
Update jabot and jenkins start/stop scripts
Diffstat (limited to 'jenkins-server-slave-setup/scripts/jenkins-initd-debian')
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/jenkins-initd-debian | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/jenkins-server-slave-setup/scripts/jenkins-initd-debian b/jenkins-server-slave-setup/scripts/jenkins-initd-debian index 5f66d99..a2797ce 100755 --- a/jenkins-server-slave-setup/scripts/jenkins-initd-debian +++ b/jenkins-server-slave-setup/scripts/jenkins-initd-debian @@ -17,7 +17,6 @@ # chkconfig: 345 91 10 # description: Jenkins is a Continuous Integration server. \ # processname: jenkins -# pidfile: /var/run/jenkins.pid # Source function library. |