From: Claudio Sacerdoti Coen Date: Tue, 9 Oct 2001 15:12:10 +0000 (+0000) Subject: Code improvement, same functionalities. X-Git-Tag: v0_1_3~73 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=20ed1380a16eedf7871ba9d7192fed71151998df;p=helm.git Code improvement, same functionalities. --- diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index b98e38de1..1d558fa3c 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -57,6 +57,51 @@ function getParam3(from,name) } + + @@ -89,45 +134,17 @@ while () { my $point_4_5_x = $point1x + 4*($point2x - $point1x)/5; print < - var iurl = unescape(getParam("url")); - var getterURL = getParam3(iurl,"param.getterURL"); - var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL")); - var url = setParam(iurl,"keys","MDG"); - url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri"); - url = setParam(url,"param.CICURI","$uri"); - url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri"); - var draw_graph_url = - location.protocol + '//' + location.host + location.pathname; - url = draw_graph_url + "?url=" + escape(url); - document.write(''); + document.write(''); EOT print < - var iurl = unescape(getParam("url")); - var getterURL = getParam3(iurl,"param.getterURL"); - var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL")); - var url = setParam(iurl,"keys",getParam3(iurl,"param.keys")); - url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D$uri"); - url = setParam(url,"param.CICURI","$uri"); - url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri"); - url = interfaceURL + "?url=" + escape(url); - document.write(''); + document.write(''); EOT print < - var iurl = unescape(getParam("url")); - var getterURL = getParam3(iurl,"param.getterURL"); - var interfaceURL = unescape(getParam3(iurl,"param.interfaceURL")); - var url = setParam(iurl,"keys","MMG"); - url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3Dhelm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri"); - url = setParam(url,"param.CICURI","$uri"); - url = setParam(url,"param.RDFURI","helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//$uri"); - var draw_graph_url = - location.protocol + '//' + location.host + location.pathname; - url = draw_graph_url + "?url=" + escape(url); - document.write(''); + document.write(''); EOT }