From 5aca0ec0de4c35dcc4173345b3bf5ca886bba2f6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 22 Mar 2006 09:18:47 +0000
Subject: [PATCH] removed mysql_escape that should be ok.... but adds some \
 that make mysql complain

---
 matita/scripts/public_html/showquery.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/scripts/public_html/showquery.php b/matita/scripts/public_html/showquery.php
index cff5c032e..dfa0b4730 100644
--- 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];
     }
   }
 
-- 
2.39.2