https://bugzilla.redhat.com/show_bug.cgi?id=1083090
Bug ID: 1083090 Summary: jetty: Unowned PID file Product: Fedora Version: 20 Component: jetty Assignee: sochotni@redhat.com Reporter: mizdebsk@redhat.com QA Contact: extras-qa@fedoraproject.org CC: java-sig-commits@lists.fedoraproject.org, krzysztof.daniel@gmail.com, mizdebsk@redhat.com, msimacek@redhat.com, msrb@redhat.com, overholt@gmail.com, sochotni@redhat.com
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