From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 6 Feb 2001 18:02:11 +0000 (+0000)
Subject: support for dynamic retrieval of style configuration file
X-Git-Tag: v0_1_2~131
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=e35a4a6e62026f7fdcea84fe0fecdb83a9b685a3

support for dynamic retrieval of style configuration file
---

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";