From e5cf3788ff8a5416ac13f9d33555ff6f46d89548 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 11 Jan 2006 15:22:36 +0000 Subject: [PATCH] mah... --- helm/matita/scripts/public_html/bench.php | 4 ++-- helm/matita/scripts/public_html/common.php | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index d19c3ece1..2ee540825 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -34,10 +34,10 @@ $query_auto = urlencode( # "GC overhead@@@select bench.mark, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.time)) - SUM(TIME_TO_SEC(bench1.time))) as gc_hoverhead from bench, bench as bench1 where bench.mark = bench1.mark and bench.test = bench1.test and bench.options = 'gc-on' and bench1.options = 'gc-off' and bench.compilation = bench1.compilation and bench.test = 'auto.ma' group by mark" ); -$query_csc = urlencode("Performances (byte and GC) per mark@@@select bench.mark as date,bench_svn.revision as revision, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.timeuser))) as sum_timeuser from bench, bench_svn where bench.options = 'gc-on' and bench.compilation = 'byte' and bench_svn.mark = bench.mark group by bench.mark order by bench.mark desc" +$query_csc = urlencode("Performances (byte and GC) per mark@@@select bench.mark ,bench_svn.revision as revision, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.timeuser))) as sum_timeuser from bench, bench_svn where bench.options = 'gc-on' and bench.compilation = 'byte' and bench_svn.mark = bench.mark group by bench.mark order by bench.mark desc" ); -$query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select bench.mark as date,bench_svn.revision as revision, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.timeuser))) as sum_timeuser from bench, bench_svn where bench.options = 'gc-on' and bench.compilation = 'opt' and bench_svn.mark = bench.mark group by bench.mark order by bench.mark desc" +$query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select bench.mark,bench_svn.revision as revision, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(bench.timeuser))) as sum_timeuser from bench, bench_svn where bench.options = 'gc-on' and bench.compilation = 'opt' and bench_svn.mark = bench.mark group by bench.mark order by bench.mark desc" ); $query_total = urlencode( diff --git a/helm/matita/scripts/public_html/common.php b/helm/matita/scripts/public_html/common.php index e1bef4dd7..f2a9be030 100644 --- a/helm/matita/scripts/public_html/common.php +++ b/helm/matita/scripts/public_html/common.php @@ -5,7 +5,7 @@ function query($q) { mysql_select_db("matita"); if (preg_match("/TIME_TO_SEC/",$q)) { $group_by = true; - $q = preg_replace("/group by mark/","",$q); + $q = preg_replace("/group by bench.mark/","",$q); $q = preg_replace("/SEC_TO_TIME\(SUM\(TIME_TO_SEC\(([^)]+)\)\)\)/","$1",$q); } $rc = mysql_query($q,$db); -- 2.39.2