]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dcc98e7)
Quick patch to use rdfly (URL hard-coded everywhere).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Feb 2004 17:44:26 +0000 (17:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Feb 2004 17:44:26 +0000 (17:44 +0000)
helm/on-line/javascript/graphLinks.js patch | blob | history
helm/on-line/xslt/metadataLib.xsl patch | blob | history

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index a01a6f6d642437571e3884e4cd19edf1863fc5d4..7e3199802dd972311870ae61e76869eb621c0958 100644 (file)
--- 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 a8c8540cbba58eb5aabd6bcd33be74944644cb65..add30cd5224a8eb01a4172aee81d1820ad716a09 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -10,15 +10,15 @@
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
 <xsl:param name="draw_graphURL" select="''"/>
+<xsl:param name="rdflyURL" select="'http://mowgli.cs.unibo.it:58086/'"/>
 
 <!--CSC: code cut & pasted from makeGraphLinks -->
 <xsl:param name="uri_set_size" select="'30'"/>
 <!--CSC: end of cut & paste from makeGraphLinks -->
 
-<xsl:variable name="BaseRDFURL" select="concat($getterURL,'getxml?uri=helm:rdf:www.cs.unibo.it/helm/rdf/')"/>
-<xsl:variable name="BaseRDFURLForward" select="concat($BaseRDFURL,'forward//')"/>
-<xsl:variable name="BaseRDFURLBackward" select="concat($BaseRDFURL,'backward//')"/>
-<xsl:variable name="BaseRDFURLDC" select="concat($BaseRDFURL,'dc//')"/>
+<xsl:variable name="BaseRDFURLForward" select="concat($rdflyURL,'get?kind=forward&amp;object=')"/>
+<xsl:variable name="BaseRDFURLBackward" select="concat($rdflyURL,'get?kind=backward&amp;object=')"/>
+<xsl:variable name="BaseRDFURLDC" select="concat($rdflyURL,'get?kind=dc&amp;object=')"/>
 
 <xsl:template match="/">
  <html>
Unnamed repository; edit this file 'description' to name the repository.