-
Bug
-
Resolution: Fixed
-
Major
-
None
-
RHEL/Fedora, Jenkins 1.438 (probably all/ all recent version are affected) installed from rpm
When Jenkins is started as a service and the restart is done from web page Jenkins PID is changed, but in
/var/run/jenkins.pid remains the old one, which make problem e.g. when stopping Jenkins.
Reproducer:
1. install jenkins from rpm
2. run service jenkins start
3. restart Jenkins from the UI (e.g. after plugin installation)
4. run service jenkins stop / check Jenkins PID and compare with PID in /var/run/jenkins.pid
Code changed in jenkins
User: Kohsuke Kawaguchi
Path:
changelog.html
core/src/main/java/hudson/lifecycle/UnixLifecycle.java
http://jenkins-ci.org/commit/jenkins/f3566d10b2585e333d6a2d5ccd23c70752f1c584
Log:
[FIXED JENKINS-11742] don't change PID when a daemon is restarting