]> matita.cs.unibo.it Git - helm.git/commitdiff
tassi/sacerdot
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:12:52 +0000 (08:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:12:52 +0000 (08:12 +0000)
helm/software/matita/scripts/crontab.sh

index 173532c614a2be550e439989c059b3322240a950..06cb81654aaa69600992ee60a636ee291be370be 100644 (file)
@@ -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