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