Bug fixed: the wrong mark was chosen for yesterday.

diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh
index 416a7139307621d2fa8dfb2a761856c1e0ddadc5..ff475626a6fdfd9fb0b7386d7c00e7677470ab64 100644 (file)
--- 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