Projet

Général

Profil

« Précédent | Suivant » 

Révision 55a579da

Ajouté par Thomas Noël il y a plus de 9 ans

update-geoinfos.sh = manage geoinfos + lock

Voir les différences:

usr/local/univnautes/sp/update-geoinfos.sh
1
#!/bin/sh
2

  
3
COMMAND=$(basename $0 .sh)
4

  
5
# lock to avoid concurrent updates
6
LOCK=/var/run/univnautes-sp-$COMMAND.lock
7
if [ -r $LOCK ]
8
then
9
	PID=`cat $LOCK`
10
	echo "$COMMAND locked by $LOCK"
11
	ps waux | grep "$PID" | grep $COMMAND | grep -vq grep && exit
12
	echo "... but PID $PID is not a $COMMAND, continue"
13
fi
14
unlock() {
15
	rm -f $LOCK
16
	exit
17
}
18
trap unlock INT TERM EXIT
19
echo $$ > $LOCK
20

  
21
cd /usr/local/univnautes/sp
22
./manage.py $COMMAND
23

  

Formats disponibles : Unified diff