New behaviour of the disambiguation error messages: errors generated without

[helm.git] / matita / scripts / public_html / showquery.php

diff --git a/matita/scripts/public_html/showquery.php b/matita/scripts/public_html/showquery.php
index cff5c032e9cfa829bb45109f96a9230944bb0e76..dfa0b473068144d1e12e90c6718e45822b7a3d60 100644 (file)
--- a/matita/scripts/public_html/showquery.php
+++ b/matita/scripts/public_html/showquery.php
@@ -10,7 +10,7 @@
     if ($x[1] == NULL) {
       $qs["Unnamed"] = $x[0];
     } else {
-      $qs[$x[0]] = mysql_escape_string($x[1]);
+      $qs[$x[0]] = $x[1];
     }
   }