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): 9.0.5-1
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. https://admin.fedoraproject.org/updates/jetty-9.0.5-3.fc20
Package jetty-9.0.5-3.fc20: * 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: https://admin.fedoraproject.org/updates/FEDORA-2014-5116/jetty-9.0.5-3.fc20 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.