pidファイルの管理をする - walf443's blog

Kureduki_MaariKureduki_Maari のブックマーク 2014/05/13 22:16

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

pidファイルの管理をする - walf443's blog

    pgrep -F pidfileオプションを使うと、pidfileを開いて、その中にあるプロセスIDが存在するか調べ、存在している場合には、0で終了してくれるようだ。 なので、起動スクリプトとかで、pidfileの存在チェックとか...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう