]> 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: f9c6a0a)
New implementation of the graph staff: logic moved
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Oct 2001 08:34:14 +0000 (08:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 12 Oct 2001 08:34:14 +0000 (08:34 +0000)
from mk_html.pl to the stylesheets.

helm/on-line/xslt/metadataLib.xsl patch | blob | history

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index b4f56cca6ac23a82dfc672f78a890621cf952172..414eb8b10f100157fd29ad46d7c01e22f31f8803 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -6,7 +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:param name="draw_graphURL" select="'http://localhost:8083/'"/>
 
 <xsl:template match="/">
  <html>
@@ -64,7 +64,9 @@
    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>');
+   var url2 = setParam(location.href,"keys","ML2,RT");
+   url2 = setParam(url2,"xmluri",escape(url));
+   document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
 ]]>
   </script>
  </p>
@@ -78,10 +80,12 @@
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
-   var url = setParam(location.href,"keys","MDG");
+   var url = setParam(location.href,"keys","MMG");
    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>');
+   var url2 = setParam(location.href,"keys","ML2,RT");
+   url2 = setParam(url2,"xmluri",escape(url));
+   document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
 ]]>
   </script>
  </p>
Unnamed repository; edit this file 'description' to name the repository.