Olhando em / my_install_path / cruisecontrol / encontrei o arquivo "cc.pid" que contém o PID que eu precisava matar.
$ cat cc.pid
43179
$ kill 43179
ou mais sucintamente
$ kill 'cat cc.pid'
Eu acabei de rodar o cruisecontrol apenas para descobrir que ele já estava rodando quando achei que ele estava desligado. Por alguma razão eu não consigo encontrar o pid para o cruisecontrol com ps -e para usar kill. Como posso matar isso?
Tags kill cruisecontrol