X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fcrontab.sh;fp=helm%2Fmatita%2Fscripts%2Fcrontab.sh;h=3f5dfb97811647f3e0b942d1394674bbef2fa6cd;hb=c84e96bf662f4372a1732926f28429b0f73f8a61;hp=5ad50de5ee47ea77bb1a997c1fb067a5752ba4e8;hpb=792b5d29ebae8f917043d9dd226692919b5d6ca1;p=helm.git diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh index 5ad50de5e..3f5dfb978 100644 --- a/helm/matita/scripts/crontab.sh +++ b/helm/matita/scripts/crontab.sh @@ -3,7 +3,7 @@ TODAY=`date +%Y%m%d` YESTERDAY=`date -d yesterday +%Y%m%d` TMPDIRNAME=$HOME/__${TODAY}_crontab TMPDIRNAMEOLD=$HOME/__${YESTERDAY}_crontab -SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/trunk/" +SVNROOT="svn+ssh://mowgli.cs.unibo.it/local/svn/helm/branches/tests/" SHELLTIME2CENTSPHP=scripts/shell_time2cents.php SHELLADDERPHP=scripts/shell_adder.php COMMONPHP=scripts/public_html/common.php