]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/mk_html.pl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / graphs / tools / mk_html.pl
index aa1cec3beca648d4d1c7c6e8ee2f00f0ee606112..6ca4d0bcf3caa819d58eaa87bc3424726e353f50 100755 (executable)
@@ -11,10 +11,10 @@ print <<EOT;
  <body bgcolor="white" onLoad="window.focus()">
   <script>
 <![CDATA[
-   //var draw_graph_url =
-   // location.protocol + '//' + location.host + '/';
-   var draw_graph_url = 'http://localhost:8083/';
-   document.write('<img border="false" src="' + draw_graph_url + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
+   // NOTE: getParam will be defined during the application
+   // of the next stylesheet in the stylesheet chain
+   var draw_graphURL = unescape(getParam("param.draw_graphURL"));
+   document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
 ]]>
   </script>
   <map name="graphe">