Vous pouvez essayer de le tuer avec le kill commande.
- Exécutez
ps -ef | grep mysql - En utilisant la valeur de la deuxième colonne (le pid) :
sudo kill <pid> - Dans le cas où cela ne suffit pas pour le tuer alors :
sudo kill -12 <pid> - Dans le cas où ça ne marche pas alors, enfin :
sudo kill -9 <pid>
Ce dernier tue le processus, mais ne signale pas aux enfants du processus que le processus a été tué, mais il fera certainement le travail. Après avoir exécuté chacun d'entre eux, exécutez simplement ps -ef | grep mysql pour voir s'il tient toujours. Si vous devez recourir à kill -9 puis exécutez définitivement ps -ef | grep mysql et tuez manuellement tous les enfants avant de redémarrer le serveur.
En fin de compte, la vraie question est qu'est-il arrivé à votre fichier pid ? Si cela se reproduit, vous devriez passer un peu de temps à enquêter car quelque chose ne va pas.
