git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7960461)
ignore "file not found"
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Sat, 18 Dec 2010 12:19:29 +0000 (13:19 +0100)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Sat, 18 Dec 2010 12:19:29 +0000 (13:19 +0100)
scripts/git-mirror.sh patch | blob | history

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 0578e59..ff07de2 100755 (executable)
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -168,7 +168,7 @@ done
 # is the stamp older than an hour ? 
 # in minutes
 GRACE=60
-is_old=$(find $RUNNING_FILE -mmin +$GRACE)
+is_old=$(find $RUNNING_FILE -mmin +$GRACE 2> /dev/null)
 if [ -n "$is_old" ] ; then
     msg "$RUNNING_FILE is older than $GRACE minutes - removing"
     rm -f $RUNNING_FILE
infrastructure