purge /var/run/*pid ?

[Matthew Dillon]

:Humm, it looks like the rc process doesn't invoke "stop"s on shutdown.
:
:in that case maybe /var/run/*.pid files should be purged at end of
:shutdown or start of boot? or maybe all rc scripts should trap SIGTERM
:(and other "terminate process" signals?) to remove their own pid file
:on exit? Thoughts?
:
:does it matter really if rc scripts fork and call another executable, or
:become the daemon themselves?
:
:// George

    I would say that we should probably remove (or try to remove) 
    /var/run/*.pid files on boot, if you would like to have a go at
    modifying the scripts.  It could be a little tricky since some demons
    might be started before /var is mounted, and there's no point removing
    the pid files until /var is mounted (and also read-write).  We definitely
    do not want the startup to fail by virtue of trying to remove .pid files
    from a read-only /var.

						-Matt