From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Apr 2007 08:12:52 +0000 (+0000)
Subject: tassi/sacerdot
X-Git-Tag: make_still_working~6382
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=e43b95930dced45692efaae5f73f1facbe1ee162;p=helm.git

tassi/sacerdot
---

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