X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flocal%2Flib%2Fhelm%2Fconfiguration.pl;h=f761e712909e2851cc655545dc16812829145c9c;hb=e6d089c9969c63882f1cd56f824caee004763d9b;hp=deea890a8becd6011e521aeffc3991652364be96;hpb=38e1ee1df7be76922343935255e26673af8c7682;p=helm.git

diff --git a/helm/configuration/local/lib/helm/configuration.pl b/helm/configuration/local/lib/helm/configuration.pl
index deea890a8..f761e7129 100644
--- a/helm/configuration/local/lib/helm/configuration.pl
+++ b/helm/configuration/local/lib/helm/configuration.pl
@@ -1,7 +1,10 @@
 use XML::Parser;
 
+use Env;
+my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
 # this should be the only fixed constant
-$configuration_file = "/home/cadet/sacerdot/local/etc/helm/configuration.xml";
+$configuration_file =
+ $HELM_CONFIGURATION_PREFIX."/local/etc/helm/configuration.xml";
 
 $parser = new XML::Parser(Handlers => {Start => \&handle_start,
                                        End   => \&handle_end,