]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/uri_set_queue.cgi
...
[helm.git] / helm / graphs / tools / uri_set_queue.cgi
index 6c6baf096d60605a31683dbb58f461170b926f21..d84cdfde33f5b42b75148d325d53de9d354e7a3c 100755 (executable)
@@ -126,6 +126,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)
         }