X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fdraw_graph.cgi;h=24170593f8d97812d23f8c58ce6ee018672676fc;hb=b9b3b6c5a9f818019aaeac0876ce0874e7a3651d;hp=7a11ab50056d0664477fe6d8ccf00fe5cf5e160e;hpb=5efc24038e24e64e39ec33d4c8f09e1fc6948366;p=helm.git diff --git a/helm/graphs/tools/draw_graph.cgi b/helm/graphs/tools/draw_graph.cgi index 7a11ab500..24170593f 100755 --- a/helm/graphs/tools/draw_graph.cgi +++ b/helm/graphs/tools/draw_graph.cgi @@ -10,7 +10,10 @@ use FindBin; chdir $FindBin::Bin; # chdir to the directory of this perl script -my $d = new HTTP::Daemon LocalPort => 8083; +$drawgraphport = $ENV{'DRAW_GRAPH_PORT'} || $drawgraphport; + +my $d = new HTTP::Daemon LocalPort => $drawgraphport + or die "Error: port $drawgraphport not available."; print "Please contact me at: url, ">\n"; $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes @@ -22,7 +25,7 @@ while (my $c = $d->accept) { my $http_query = $r->url->equery; my $cgi = new CGI("$http_query"); my $url = $cgi->param('url'); - $url = uri_unescape($url).'¶m.PID='.$$; + $url = $url.'¶m.PID='.$$; print "URL: $url\n"; my $ua = LWP::UserAgent->new;