X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=43c7ff0790ec3750ce8858c6a54e972071a269c9;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=cd474f17b2e088a0fe2d23e3f640bd2eded62df4;hpb=334e20b9e4e3976c2c95928f5b2b4a5fc5db81da;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index cd474f17b..43c7ff079 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -34,8 +34,6 @@ if (defined ($HELM_LIB_DIR)) {
    $HELM_LIB_PATH = $DEFAULT_HELM_LIB_DIR."/configuration.pl";
 }
 
-$styles_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"}));
-
 # <ZACK>: TODO temporary, move this setting to configuration file
 # set the cache mode, may be "gzipped" or "normal"
 my $cachemode = $ENV{'HTTP_GETTER_CACHE_MODE'} || 'gzipped';
@@ -229,20 +227,6 @@ EOT
             } else {
                die "Could not find DTD!";
             }
-         } elsif ($http_method eq 'GET' and $http_path eq "/getxslt") {
-            my $filename = $inputuri;
-            $filename = $styles_dir."/".$filename;
-            print "XSLT: $inputuri ==> ($filename)\n";
-            if (stat($filename)) {
-               print "Using local copy\n";
-               open(FD, $filename) or die "Cannot open $filename\n";
-               $cont = "";
-               while(<FD>) { $cont .= $_; }
-               close(FD);
-               answer($c,$cont);
-            } else {
-               die "Could not find XSLT!";
-            }
         } elsif ($http_method eq 'GET' and $http_path eq "/conf") {
             my $quoted_html_link = $html_link;
             $quoted_html_link =~ s/&/&amp;/g;