git://git.onelab.eu
/
infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ignore "file not found"
[infrastructure.git]
/
scripts
/
git-mirror.sh
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 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
if [ -n "$is_old" ] ; then
msg "$RUNNING_FILE is older than $GRACE minutes - removing"
rm -f $RUNNING_FILE