From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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