Você pode tentar matá-lo com o
kill comando. - Execute
ps -ef | grep mysql - Usando o valor da segunda coluna (o pid):
sudo kill <pid> - Caso isso não seja suficiente para matá-lo:
sudo kill -12 <pid> - No caso de não funcionar, finalmente:
sudo kill -9 <pid>
Esse último mata o processo, mas não sinaliza aos filhos do processo que o processo foi morto, mas definitivamente fará o trabalho. Depois de executar cada um, basta executar esse
ps -ef | grep mysql para ver se ainda está pendurado. Se você tiver que recorrer a kill -9 então definitivamente execute ps -ef | grep mysql e elimine manualmente quaisquer filhos antes de reiniciar o servidor. No final, a verdadeira questão é o que aconteceu com seu arquivo pid? Se acontecer novamente, isso é algo que você deve gastar algum tempo investigando porque algo está instável lá.
