X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Furi_set_queue.cgi;h=6a5d16ad51949042a9faaa82984004b0400549ef;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=6c6baf096d60605a31683dbb58f461170b926f21;hpb=5f01ce40bc7c19da0a220a9899019074acf94ff8;p=helm.git

diff --git a/helm/graphs/tools/uri_set_queue.cgi b/helm/graphs/tools/uri_set_queue.cgi
index 6c6baf096..6a5d16ad5 100755
--- a/helm/graphs/tools/uri_set_queue.cgi
+++ b/helm/graphs/tools/uri_set_queue.cgi
@@ -5,7 +5,10 @@ use HTTP::Status;
 use HTTP::Response;
 use CGI;
 
-my $d = new HTTP::Daemon LocalPort => 8084;
+$urisetqueueport = $ENV{'URI_SET_QUEUE_PORT'} || $urisetqueueport;
+
+my $d = new HTTP::Daemon LocalPort => $urisetqueueport
+ or die "Error: port $urisetqueueport not available.";
 print "Please contact me at: <URL:", $d->url, ">\n";
 
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes
@@ -126,6 +129,11 @@ while (my $c = $d->accept) {
             $response->content("<?xml version=\"1.0\"?>\n<done/>\n");
 	    $response->content_type('text/xml');
             $c->send_response($response);
+        } elsif ($r->method eq 'GET' && $r->url->path eq "/help"){
+           print "Help requested!\n";
+	   my $response = new HTTP::Response;
+           $response->content("URI-Set (Queue) Version: ???");
+           $c->send_response($response);
         } else {
             $c->send_error(RC_FORBIDDEN)
         }