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">