From 33c1a9bcd41a8cee8de2717d11eb0e40b98bacaa Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 29 Oct 2005 16:36:05 +0000 Subject: [PATCH] Bug fixed: the wrong mark was chosen for yesterday. --- helm/matita/scripts/crontab.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2