ward/publicscripts
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix lockfile removal

Browse source
This commit is contained in:
Ward Wouts 2003-01-16 08:28:50 +00:00
parent 65e53a6f87
commit 6ae908b4e6
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
cvsup/cvsup
View file

@ -15,7 +15,8 @@ fi
if ( [ -e $LOCKFILE ]); then if ( [ -e $LOCKFILE ]); then
LOCKPID=`cat $LOCKFILE` LOCKPID=`cat $LOCKFILE`
if ( ! ps -p $LOCKPID|egrep -q "$LOCKPID" ); then if ( ! ps -p $LOCKPID|egrep -q "$LOCKPID" ); then
die "Stale lockfile found: $LOCKFILE" echo "Stale lockfile found: $LOCKFILE"
rm $LOCKFILE
else else
if ( ! [ -z "$PS1" ] ); then if ( ! [ -z "$PS1" ] ); then
echo "already running..." echo "already running..."