From 0d92c6f830c19cd7576b3cf9ed8f95d7b83a444d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 24 Dec 2005 14:44:04 +0000 Subject: [PATCH] beauty\! --- helm/matita/scripts/public_html/bench.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index dc57bab6d..8ab204537 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -7,7 +7,7 @@ // $limits = array("20","50","100"); -$quey_all = urlencode("Whole content:@@@select * from bench***"); +$quey_all = urlencode("Whole content:@@@select * from bench order by mark desc***"); $query_fail = urlencode( "Number of failures@@@" . "select mark, count(distinct test) as fail_no from bench where result = 'fail' group by mark order by mark desc***" -- 2.39.2