]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editor.html
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
[helm.git] / helm / searchEngine / html / editor.html
index 1e6afe7d06e9f5c35cd821f4370833caedc6c7f4..683b2003010a7c19a0fc5439f8a2500daf16d4a8 100644 (file)
@@ -4,7 +4,7 @@
 qbf=/[[^\[\]<>]*|<set>|<val>|<boole>]*/
 function invia()
        {
-       window.open(top.ask_uwobo(top.topurl+"/execute?query="+escape(document.edit.qta.value)),"cw");
+       window.open(top.ask_uwobo(top.topurl+"/execute?query="+encodeURIComponent(document.edit.qta.value)),"cw");
        }
 function parse1()
        {