From e43b95930dced45692efaae5f73f1facbe1ee162 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 18 Apr 2007 08:12:52 +0000 Subject: [PATCH] tassi/sacerdot --- helm/software/matita/scripts/crontab.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2