* the input of the function mkMetaTheoryURL must an (unquoted) URI. Fixed.

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 7e3199802dd972311870ae61e76869eb621c0958..05ce3f92e295bd42e01638446d43a56d5b1ea18b 100644 (file)
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -72,6 +72,6 @@ function mkMetaTheoryURL(uri)
    var rdflyURL = "http://mowgli.cs.unibo.it:58086/";
    var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
    url = setParam(url,"param.embedkeys", getEmbedKeys());
-   url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + uri);
+   url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + escape(escape(uri)));
    return url;
 }