[bash] fichier PID

Bonjour à tous,
Je fait un petit init script pour mon serveur subversion. Pour tuer le serveur je ne vois pas d'autres solutions que de passer par kill. Pour celà j'écris le PID dans un fichier que je passe ensuite en argument à kill comme ceci (je met que la partie concernée) :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 PIDFILE=/var/run/subversion.pid do_start () { svnserve -d -r $DEPOT & echo $! > $PIDFILE if [ $? ] then echo "Subversion server : [started]"; else echo "OOOPS : Subversion server was unable to start"; fi } do_stop () { kill -9 $(cat $PIDFILE) if [ $? ] then echo "Subversion server : [stopped]"; rm $PIDFILE else echo "OOOPS : Subversion server is still runing" fi }
Le problème, s'est que le PID que j'écris dans mon fichier n'est pas le bon (j'ai l'impression qu'il y a un offset de 1 à chaque fois), du coup quand j'appelle kill forcément ça foire.
C'est sans doute assez simple pour queqlu'un maitrisant bien le shell...
Merci

Code:

ls && echo $!

Essaie de doubler ton &.

Code:

1
2
 
kill -9 $( pidof server )

Citation:

Envoyé par ggnore

Essaie de doubler ton &.

J'avais déjà testé, marche pas.
Citation:
Envoyé par becket
Code:

1 2 kill -9 $( pidof server )
Parfais, je connaissais pas cette commande. Bien pratique.

Merci à tous deux. Une idée de pourquoi ça me renvoi pas le bon PID? (Une histoire de pid shell plutôt que PID de la commande ?)