X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=89f1a521e218c8ddb3c81218182cf3bf4a67c1a7;hb=e35a4a6e62026f7fdcea84fe0fecdb83a9b685a3;hp=e2ebb20d07ae52c7e25fda4b0e46f88fd3dbca02;hpb=dd2af791135cedf4e558ff8629ceca044a0d11d3;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index e2ebb20d0..89f1a521e 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -242,7 +242,21 @@ EOT
             } else {
                die "Could not find DTD!";
             }
-         } elsif ($http_method eq 'GET' and $http_path eq "/getxslt") {
+        } elsif ($http_method eq 'GET' and $http_path eq "/getstyleconf") {
+            $filename = $styles_dir."/config/style-configuration.xml";
+            print "Style Configuration: $filename\n";
+            if (stat($filename)) {
+               open(FD, $filename) or die "Cannot open $filename\n";
+               $cont = "";
+               while(<FD>) {
+	        $cont .= $_;
+	       }
+               close(FD);
+               answer($c,$cont);
+            } else {
+               die "Could not find Style Configuration File!";
+            }
+        } elsif ($http_method eq 'GET' and $http_path eq "/getxslt") {
             my $filename = $inputuri;
             $filename = $styles_dir."/".$filename;
             print "XSLT: $inputuri ==> ($filename)\n";