[Pkg-systemd-maintainers] Bug#734006: document removal of PIDFile on daemon shutdown

[Russ Allbery]

Package: systemd
Version: 204-6
Severity: minor

This may already be addressed usptream, but just in case.

Zbigniew Jędrzejewski-Szmek <zbyszek at in.waw.pl> writes:

> systemd will unlink the pidfile after the daemon is stopped (and during
> restart, etc.). Stale files shouldn't be an issue.

This doesn't appear to be documented in systemd.service(5):

    PIDFile=
        Takes an absolute file name pointing to the PID file of this
        daemon. Use of this option is recommended for services where Type=
        is set to forking. systemd will read the PID of the main process of
        the daemon after start-up of the service. systemd will not write to
        the file configured here.

I think that would be a good thing to add.