回答編集履歴

 

 

 

  なお、これをシェルスクリプトなどにするのであれば、`tmp/pids/server.pid`の存在チェックや、カレントディレクトリにかかわらず`server.pid`を特定できるパス表現への書き換えが必要になるでしょう。