From 0cb4cf86dbe7226a9ce50b39326741a1d07aeef6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 15:35:35 +0000 Subject: [PATCH] fix --- 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 05ccfd48d..560d065e9 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -5,7 +5,7 @@ // queries ::= query | query "###" queries // query ::= name "@@@" sql // -$limits = array("30","50","-1"); +$limits = array("20","50","100","-1"); $quey_all = urlencode("Whole content:@@@select * from bench"); $query_fail = urlencode( -- 2.39.2