X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fcrontab.sh;h=ff475626a6fdfd9fb0b7386d7c00e7677470ab64;hb=a1dbfbc43a9f01eaf64d4f2cc66d6be1ac6943ce;hp=416a7139307621d2fa8dfb2a761856c1e0ddadc5;hpb=0c7a143b0a9b3393488580aef8bfb22a6992b2bc;p=helm.git

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