Un restarter

(13-06-2011 21:09)Atikae a écrit :  Milk > un truc du genre ?

Code :

if [ -z `php -r "if (@fsockopen('127.0.0.1', 1234)) echo 1;"` ]; then
    # restart server
fi

Dans tous les cas ça revient toujours au même, c'est que des tricks de progra après.

Ouais, mais je pense que c'est la plus légère et plus fiable.