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

tassi/sacerdot
---

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index 173532c61..06cb81654 100644
--- a/matita/scripts/crontab.sh
+++ b/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