Matar o TomCat no "braço" dentro do Linux (Ubuntu)

Para identificar o PID (identificador do processo) do TomCat:

ps -ef | grep "tomcat"

Supondo que o PID exibido seja o número 7888 utilize o seguinte comando para matá-lo:

sudo kill -9 7888

[]'s Flavio Barbosa