snapshot

diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh
index ccbe4c8f1fdbc3980b45e9d0c4f001b3dda190b7..d8ac761b3e01427dbb89fe3e3334058b6ae78a04 100644 (file)
--- a/helm/matita/scripts/crontab.sh
+++ b/helm/matita/scripts/crontab.sh
@@ -7,18 +7,18 @@ rm -rf $TMPDIRNAME
 mkdir $TMPDIRNAME
 cd $TMPDIRNAME
 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
 mkdir $TMPDIRNAME
 cd $TMPDIRNAME
 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null

-bash helm/matita/scripts/profile_cvs.sh > LOG
+bash helm/matita/scripts/profile_cvs.sh > LOG 1>&2

 
 cat <<EOT
 WEB INTERFACE
 
 cat <<EOT
 WEB INTERFACE

-http://mowgli.cs.unibo.it/tassi/index.php
+http://mowgli.cs.unibo.it/tassi/bench.php

 
 DAILY BENCHMARK REPORT
 
 DAILY BENCHMARK REPORT

-`echo "select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from becnh where mark = \"$MARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita`
+`echo "select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where mark = \"$MARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita`

 
 
 DAILY BENCHMARK REPORT (DETAILED)
 
 
 DAILY BENCHMARK REPORT (DETAILED)

-`echo "select * from becnh where mark = \"$MARK\";" | mysql -u helm -h mowgli.cs.unibo.it matita`
+`echo "select * from bench where mark = \"$MARK\";" | mysql -u helm -h mowgli.cs.unibo.it matita`

 
 COMPILATION OUTPUT
 `cat LOG`
 
 COMPILATION OUTPUT
 `cat LOG`