X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fpublic_html%2Fcommon.php;h=d56c9d40bf5b5d4b1eab1df4afb59737547c4048;hb=cb4b3b6d71a8d0b5120fe6604cc55105637ef234;hp=48121b5498ad748ff80ffff815bdd6fef0bfb483;hpb=0d4d4734071fc6acb6c211d5465816abdb392c71;p=helm.git

diff --git a/matita/scripts/public_html/common.php b/matita/scripts/public_html/common.php
index 48121b549..d56c9d40b 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 = ltrim(rtrim(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);