X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=05ce3f92e295bd42e01638446d43a56d5b1ea18b;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=a01a6f6d642437571e3884e4cd19edf1863fc5d4;hpb=46b441cfa0f4a2c2076450a32452796db7ac8c7c;p=helm.git diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js index a01a6f6d6..05ce3f92e 100644 --- a/helm/on-line/javascript/graphLinks.js +++ b/helm/on-line/javascript/graphLinks.js @@ -69,10 +69,9 @@ function mkCICURL(uri) function mkMetaTheoryURL(uri) { - var rdfuri = mkBackwardRDFURI(uri); - var getterURL = getParam("param.getterURL"); + 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", getterURL + "getxml%3Furi%3D" + rdfuri); + url = setParam(url,"xmluri", rdflyURL + "get%3Fkind%3Dbackward%26object%3D" + escape(escape(uri))); return url; }