From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 21 Mar 2006 13:58:58 +0000 (+0000)
Subject: go
X-Git-Tag: 0.4.95@7852~1583
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd304e9920881a9b0f7b4304be16bdb9892195cc;p=helm.git

go
---

diff --git a/matita/scripts/public_html/bench.php b/matita/scripts/public_html/bench.php
index 0a3d4fde5..84f27d6e2 100644
--- a/matita/scripts/public_html/bench.php
+++ b/matita/scripts/public_html/bench.php
@@ -173,7 +173,17 @@ function links_of($name,$q,$limits){
 <tr><td></td></tr>
 <tr><td>SQL (only one query, ';' if present must terminate the query, no characters allowed after it):</td></tr>
 <tr><td>
-<textarea rows="10" cols="80" name="query"/>select SUM(time) from bench;</textarea>
+<textarea rows="10" cols="120" name="query"/>
+select 
+  b1.test as test, b1.timeuser as oldtime, b2.timeuser as newtime, b1.compilation as comp, b1.options as opts
+from 
+  bench as b1, bench as b2 
+where 
+  b1.test = b2.test and 
+  b1.options = b2.options and
+  b1.compilation = b2.compilation and 
+  b1.mark = '' and b2.mark= '' and
+  ABS(b1.timeuser - b2.timeuser) &gt; 100;</textarea>
 </td>
 </tr>
 <tr><td>
diff --git a/matita/scripts/public_html/common.php b/matita/scripts/public_html/common.php
index 48121b549..0e7962abf 100644
--- a/matita/scripts/public_html/common.php
+++ b/matita/scripts/public_html/common.php
@@ -50,8 +50,9 @@ function printer($q){
 function query($q,$f) {
   $db = mysql_pconnect("localhost","helm");
   mysql_select_db("matita");
+  $q = preg_replace("/\n/"," ",$q);
   if (!preg_match("/^(select|describe)[^\n;]*;?$/i",$q)) {
-    echo "Query not allowed!";
+    die("Query not allowed!<pre>" . $q . "</pre>");
     return;
   }
   $rc = mysql_query($q,$db);