fix

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index d7d3c1389b80e65f85cfc1e3db53e82f1b5e2811..2fef2303f96fa093836f376acbc6c323731373b3 100644 (file)
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -8,6 +8,7 @@
 $limits = array("30","50","-1");
   
 print_r($limits);
+foreach($limits as $x){ echo $x; }
 
 $quey_all = urlencode("Whole content:@@@select * from bench");
 $query_fail = urlencode(