Discussion :

[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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

ls && echo $!

Essaie de doubler ton &.

[becket]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
kill -9 $( pidof server )

[dahtah]

Essaie de doubler ton &.

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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