• # Quelques pistes

    Posté par . En réponse au message Déctection d'un process mort et relance. Évalué à 3.

    En général, pour faire ce genre de chose, on lance le process avec un script qui stocke quelque part le pid du process :

    # Lance ma_commande en tache de fond
    ma_commande &
    # Stocke le pid dans un fichier
    PID_FILE=/tmp/ma_commande.pid
    echo $! > /tmp/ma_commande.pid

    Le script qui check et relance ressemble à ça :

    PID_FILE=/tmp/ma_commande.pid
    PID=`cat $PID_FILE`
    while true ; do
    IS_ALIVE=`ps h $PID`
    if [ -z $IS_ALIVE ] ; then
    ma_commande &
    echo $! > /tmp/ma_commande.pid
    PID=`cat $PID_FILE`
    fi
    sleep 5
    done

    Si tu as besoin de commentaires, n'hésite pas

    "Liberté, Sécurité et Responsabilité sont les trois pointes d'un impossible triangle" Isabelle Autissier