Fall back to /var/run for pidfile if /run is not a directory.
This is for old (possibly non-Debian) systems which have not migrated from /var/run to /run yet.
* init.d-mandos (PIDFILE): Fall back to /var/run/mandos.pid if /run is not a directory. * mandos (pidfilename): - '' - * mandos.xml (FILES): Document fallback to /var/run/mandos.pid if /run is not a directory.
Reported-by: Nathanael D. Noblet <nathanael@gnat.ca> Suggested-by: Nathanael D. Noblet <nathanael@gnat.ca>