てきとうなメモ

本の感想とか技術メモとか

PIDファイルの置き場所

停電から復旧したマシンで、rcスクリプトで起動すべきデーモンプロセスが起動していないことがあった。で、PIDファイルが残っていた。そのrcスクリプトはPIDファイルをチェックして起動するかどうか決めるスクリプトだったので、それをチェックして起動しなかったっぽい。

で、こういうのを防ぐ方法ないのかなと思っていたら/var/run以下にPIDファイルを置くようにすると/etc/rc.sysinitがシステム起動時に消してくれるということに気付いた。

# Clean up /var.
..
find /var/lock /var/run ! -type d -exec rm -f {} \;
..