-
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
[JENKINS-11742] Jenkins PID changes after restart
Assignee | New: vjuranek [ vjuranek ] |
Resolution | New: Fixed [ 1 ] | |
Status | Original: Open [ 1 ] | New: Resolved [ 5 ] |
Status | Original: Resolved [ 5 ] | New: Closed [ 6 ] |
Workflow | Original: JNJira [ 141985 ] | New: JNJira + In-Review [ 205478 ] |
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