ocaml 3.09 transition

[helm.git] / helm / graphs / tools / mk_html.pl
diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl

index aa1cec3beca648d4d1c7c6e8ee2f00f0ee606112..a928cd5ade5c4cfafdf79afb79f71e90a20838ad 100755 (executable)
--- a/helm/graphs/tools/mk_html.pl
+++ b/helm/graphs/tools/mk_html.pl
@@ -4,17 +4,15 @@ use URI::Escape;
  
  print <<EOT;
  <?xml version="1.0"?>
-<html>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
   <head>
    <title>Graph</title>
   </head>
   <body bgcolor="white" onLoad="window.focus()">
    <script>
+   var draw_graphURL = "<subst:draw_graphURL/>";
  <![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">');
+   document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
  ]]>
    </script>
    <map name="graphe">