From: Claudio Sacerdoti Coen Date: Sat, 29 Oct 2005 16:36:05 +0000 (+0000) Subject: Bug fixed: the wrong mark was chosen for yesterday. X-Git-Tag: V_0_7_2_3~165 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=33c1a9bcd41a8cee8de2717d11eb0e40b98bacaa;p=helm.git Bug fixed: the wrong mark was chosen for yesterday. --- diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh index 416a71393..ff475626a 100644 --- a/helm/matita/scripts/crontab.sh +++ b/helm/matita/scripts/crontab.sh @@ -2,7 +2,7 @@ TODAY=`date +%Y%m%d0200` YESTERDAY=`date -d yesterday +%Y%m%d0200` MARK=`echo "select distinct mark from bench where mark like '$TODAY%' order by mark" | mysql -u helm matita | tail -n 1` -LASTMARK=`echo "select distinct mark from bench where mark like '$YESTERDAY%' order by mark" | mysql -u helm matita | tail -n 2 | head -n 1` +LASTMARK=`echo "select distinct mark from bench where mark like '$YESTERDAY%' order by mark" | mysql -u helm matita | tail -n 1` TMPDIRNAME=.__${MARK}_crontab CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm" SHELLTIME2CENTSPHP=helm/matita/scripts/shell_time2cents.php