[bash] fichier PID [Résolu]

[dahtah]

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

[ggnore]

Code :

ls && echo $!

Essaie de doubler ton &.

[becket]

Code :

1
2
 
kill -9 $( pidof server )

[dahtah]

Envoyé par ggnore

Essaie de doubler ton &.

J'avais déjà testé, marche pas.

Envoyé par becket

Code :

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 ?)