]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/draw_graph.cgi
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / graphs / tools / draw_graph.cgi
index 24170593f8d97812d23f8c58ce6ee018672676fc..e807d97e04edd9917cc4e7bee2692c42b9a77c12 100755 (executable)
@@ -25,28 +25,28 @@ while (my $c = $d->accept) {
             my $http_query = $r->url->equery;
             my $cgi = new CGI("$http_query");
             my $url = $cgi->param('url');
-           $url = $url.'&param.PID='.$$;
-           print "URL: $url\n";
+            $url = $url.'&param.PID='.$$;
+            print "URL: $url\n";
 
             my $ua = LWP::UserAgent->new;
             my $request = HTTP::Request->new(GET => "$url");
             my $response = $ua->request($request, "prova0.$$.dot");
 
-           if (system("make PID=$$ > log.$$") == 0) {
+            if (system("make PID=$$ > log.$$") == 0) {
                $c->send_file_response("prova.$$.html");
-           } else {
-               $c->send_error(RC_INTERNAL_SERVER_ERROR);
-           }
+            } else {
+                $c->send_error(RC_INTERNAL_SERVER_ERROR);
+            }
         } elsif ($r->method eq 'GET' && $r->url->path eq "/get_gif") {
             my $http_query = $r->url->equery;
             my $cgi = new CGI("$http_query");
             my $pid = $cgi->param('pid');
-           print "Returning GIF: $pid\n";
+            print "Returning GIF: $pid\n";
             $c->send_file_response("prova.$pid.gif");
-           system("make PID=$pid clean ; rm -f prova0.$pid.dot");
+            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;
+           my $response = new HTTP::Response;
            $response->content("Graph Drawer Version: ???");
            $c->send_response($response);
         } else {