- 
    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