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