X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fcrontab.sh;h=06cb81654aaa69600992ee60a636ee291be370be;hb=50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7;hp=173532c614a2be550e439989c059b3322240a950;hpb=15d6a12894dd88099e90ffb80a138970a597542b;p=helm.git diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh index 173532c61..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