Potresti tentare di ucciderlo con kill
comando.
- Esegui
ps -ef | grep mysql
- Utilizzando il valore della seconda colonna (il pid):
sudo kill <pid>
- Nel caso ciò non bastasse per ucciderlo, allora:
sudo kill -12 <pid>
- Nel caso non funzionasse, finalmente:
sudo kill -9 <pid>
Quest'ultimo interrompe il processo, ma non segnala ai figli del processo che il processo è stato interrotto, ma farà sicuramente il lavoro. Dopo aver eseguito ciascuno di essi, esegui semplicemente ps -ef | grep mysql
per vedere se è ancora appeso. Se devi ricorrere a kill -9
quindi esegui definitivamente ps -ef | grep mysql
e uccidi manualmente tutti i bambini prima di riavviare il server.
Alla fine, la vera domanda è cosa è successo al tuo file pid? Se succede di nuovo, è qualcosa su cui dovresti dedicare un po' di tempo a indagare perché qualcosa non va lì.