From: Claudio Sacerdoti Coen Date: Fri, 20 Feb 2004 17:44:26 +0000 (+0000) Subject: Quick patch to use rdfly (URL hard-coded everywhere). X-Git-Tag: v0_0_4~125 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cce5277b8267c1d414ee989a005976fac1efd205;p=helm.git Quick patch to use rdfly (URL hard-coded everywhere). --- diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js index a01a6f6d6..7e3199802 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" + uri); return url; } diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index a8c8540cb..add30cd52 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -10,15 +10,15 @@ + - - - - + + +