diff --git a/CVSROOT/loginfo b/CVSROOT/loginfo index 41821cf0..d424ccef 100644 --- a/CVSROOT/loginfo +++ b/CVSROOT/loginfo @@ -22,4 +22,4 @@ #ALL (date ; cat ; (sleep 2 ; cd /users/outil/alliance/latest ; cvs -q update -d ) &) >> $CVSROOT/CVSROOT/log-latest 2>&1 ALL (cat > /dev/null 2>&1 ; echo "Taper Ctrl-C peut avoir des consequences facheuses :-)") -ALL (/users/outil/alliance/cvsroot/CVSROOT/postconfig &) >> $CVSROOT/CVSROOT/log-postconfig 2>&1 +ALL (sleep 4; /users/outil/alliance/cvsroot/CVSROOT/postconfig &) >> $CVSROOT/CVSROOT/log-postconfig 2>&1