Description of problem:
Jetty creates PID file, which is not marked as ghost:
# rpm -qf /var/run/jetty.pid
file /var/run/jetty.pid is not owned by any package
Version-Release number of selected component (if applicable):
I rewritten the script to not use PID file at all and rely on systemd.
jetty-9.0.5-3.fc20 has been submitted as an update for Fedora 20.
* should fix your issue,
* was pushed to the Fedora 20 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing jetty-9.0.5-3.fc20'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
This package has changed ownership in the Fedora Package Database. Reassigning to the new owner of this component.
jetty-9.0.5-3.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.