]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
Many more hard-coded links removed.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
index 95aab43f35817325360dedd77bf186cf3d271a55..b4f56cca6ac23a82dfc672f78a890621cf952172 100644 (file)
@@ -6,6 +6,7 @@
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
+<xsl:param name="draw_graphURL" select="'http://phd.cs.unibo.it:8083/'"/>
 
 <xsl:template match="/">
  <html>
  </p>
  <p>
   <script>
-   var CICURI = "<xsl:value-of select="$CICURI"/>";
+   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
+   var getterURL = "<xsl:value-of select="$getterURL"/>";
+   var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
-   document.write('<a target="graph" href="http://localhost:8083/draw?url=' +
-    escape('http://localhost:8080/helm/servlet/uwobo/apply?xmluri=http://localhost:8081/getxml%3Furi%3D' + RDFURI + '&keys=MMG&param.getterURL=http%3A//localhost%3A8081/&prop.media-type=text/plain&param.CICURI=' + CICURI) + '">View the graph of all the objects dependending on this one.</a>');
+   var url = setParam(location.href,"keys","MMG");
+   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
+   url = draw_graphURL + 'draw?url=' + escape(url);
+   document.write('<a target="graph" href="' + url + '">View the graph of all the objects depending on this one.</a>');
 ]]>
   </script>
  </p>
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
+   var getterURL = "<xsl:value-of select="$getterURL"/>";
+   var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
-   document.write('<a target="graph" href="http://localhost:8083/draw?url=' +
-    escape('http://localhost:8080/helm/servlet/uwobo/apply?xmluri=http://localhost:8081/getxml%3Furi%3D' + CICURI + '&keys=MDG&param.getterURL=http%3A//localhost%3A8081/&prop.media-type=text/plain&param.CICURI=' + CICURI) + '">View the graph of all the dependencies of this object.</a>');
+   var url = setParam(location.href,"keys","MDG");
+   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + CICURI);
+   url = draw_graphURL + 'draw?url=' + escape(url);
+   document.write('<a target="graph" href="' + url + '">View the graph of all the dependencies of this object.</a>');
 ]]>
   </script>
  </p>