[gull] Script pour restarter mysql

[J-A Eberhard - Open Net Sàrl]

Bonjour,

Je cherche un petit script qui regarde si un process est live et qui le
restart si ce n'est pas le cas.

Concrétement, sur un box debian, je veux vérifier si mysql tourne et sinon
lancer un /etc/init.d/mysql start

Je pense qu'il faut regarder si il y a un pid pour mysql mais je ne connais
pas la syntaxe et ne trouve pas d'exemple de ce genre de script.

Merci de votre aide.

Jacques-andré