TomcatのPID

initスクリプトとかでdaemon –pidfileとかで渡せばプロセスIDのファイルを作れると思うのだけど、Tomcatの場合、スクリプト経由でJavaなので、いまいちうまくいかない感じがする。何か、良い方法はないかな、っと思ったら、catalina.shに普通にCATALINA_PIDっていう環境変数があった…。つまり、startup.shを実行するときとかに

export CATALINA_PID=/var/run/tomcat.pid

とかしておけばプロセスIDを書きこんでおいてくれるみたい。まぁ、もちろんそのファイルへはcatalina.shを実行したユーザーが書き込める必要はあるけど。というわけで、がんばって作る必要はなかった。