X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fcrontab.sh;h=06cb81654aaa69600992ee60a636ee291be370be;hb=e1d6716c5560b046e0a7d0d871cc01a64cb31ca8;hp=f59bcdb97220392a36f07a437d80a84243626c59;hpb=f6f34ee631ff2e5aeb8d1a3b78b72f4034c69748;p=helm.git

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index f59bcdb97..06cb81654 100644
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -15,7 +15,7 @@ SQLQMARK="select distinct mark from bench where mark like '%s%%' order by mark;"
 SQLQTIME="select SUM(timeuser) from bench where mark = '%s' group by mark;"
 SQLQFAILCOUNT="select count(distinct test) from bench where mark = '%s' and result = 'fail';"
 SQLQFAIL="select distinct test from bench where mark = '%s' and result = 'fail';"
-URL="http://mowgli.cs.unibo.it/~tassi/bench.php"
+URL="http://mowgli.cs.unibo.it/~sacerdot/bench.php"
 
 #initialization
 OLD=$PWD
@@ -65,7 +65,7 @@ fi
 if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
-  PREC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
+  PERC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
 fi
 if [ "$PERC" -ge 5 ]; then
   cat <<EOT
@@ -84,21 +84,32 @@ CUR_FAIL=`printf "$SQLQFAILCOUNT" "$MARK" | $MYSQL | tail -n 1`
 OLD_FAIL=`printf "$SQLQFAILCOUNT" "$LASTMARK" | $MYSQL | tail -n 1`
 
 if [ "$CUR_FAIL" -gt "$OLD_FAIL" ]; then
+  TMP1=`mktemp`
+  TMP2=`mktemp`
+  TMP3=`mktemp`
+  printf "$SQLQFAIL" "$MARK" | $MYSQL > $TMP1
+  printf "$SQLQFAIL" "$LASTMARK" | $MYSQL > $TMP2
+  combine $TMP1 not $TMP2 > $TMP3
+
   cat <<EOT
 
   More broken tests detected (MARK $MARK vs MARK $LASTMARK)
   Is: $CUR_FAIL
   Was: $OLD_FAIL 
-  
-  Now broken:
-`printf "$SQLQFAIL" "$MARK" | $MYSQL`
 
-  Were broken:
-`printf "$SQLQFAIL" "$LASTMARK" | $MYSQL`
+  Tests that are broken in $MARK but where not broken in $LASTMARK:
+`cat $TMP3`
+
+  List of broken tests in mark $MARK: 
+`cat $TMP1`
+
+  List of broken tests in old mark $LASTMARK:
+`cat $TMP2`
   
   For details: $URL
 EOT
 
+  rm $TMP1 $TMP2 $TMP3
 fi
 
 cd $OLD