プロセス ID の管理ファイルは通常停止すれば削除されます。但し、Jenkins 再起動時に サーバそのものを再起動させたとか、野暮なことをすると Jenkins おじさんが怒ります。 対策 1PID が素直に残っているのであればJenkins PID ファイルを削除 1$ sudo rm /var/run/jenkins.pid 対策 2PID が存在しない…