From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 15 Oct 2001 06:16:18 +0000 (+0000)
Subject: Help method added
X-Git-Tag: v0_1_3~66
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5efc24038e24e64e39ec33d4c8f09e1fc6948366;p=helm.git

Help method added
---

diff --git a/helm/graphs/tools/draw_graph.cgi b/helm/graphs/tools/draw_graph.cgi
index 9f24c7a07..7a11ab500 100755
--- a/helm/graphs/tools/draw_graph.cgi
+++ b/helm/graphs/tools/draw_graph.cgi
@@ -41,6 +41,11 @@ while (my $c = $d->accept) {
 	    print "Returning GIF: $pid\n";
             $c->send_file_response("prova.$pid.gif");
 	    system("make PID=$pid clean ; rm -f prova0.$pid.dot");
+        } elsif ($r->method eq 'GET' && $r->url->path eq "/help"){
+           print "Help requested!\n";
+	   my $response = new HTTP::Response;
+           $response->content("Graph Drawer Version: ???");
+           $c->send_response($response);
         } else {
             $c->send_error(RC_FORBIDDEN)
         }
diff --git a/helm/graphs/tools/uri_set_queue.cgi b/helm/graphs/tools/uri_set_queue.cgi
index 6c6baf096..d84cdfde3 100755
--- a/helm/graphs/tools/uri_set_queue.cgi
+++ b/helm/graphs/tools/uri_set_queue.cgi
@@ -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)
         }