X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flib%2Fconfiguration.pl.in;h=67e5f866c8b28ee0fcdcc9c1a92d52c34381b833;hb=07c55dad8a1fda7e457e26e852a0f692c0347a63;hp=6c101d79ef1a8190e90e5f7810cd4d78c6149ff8;hpb=1b7c9907af7530d118f886d4844b0c9a8d2950ca;p=helm.git

diff --git a/helm/configuration/lib/configuration.pl.in b/helm/configuration/lib/configuration.pl.in
index 6c101d79e..67e5f866c 100644
--- a/helm/configuration/lib/configuration.pl.in
+++ b/helm/configuration/lib/configuration.pl.in
@@ -2,9 +2,9 @@ use XML::Parser;
 
 use Env;
 my $HELM_CONFIGURATION_DIR = $ENV{"HELM_CONFIGURATION_DIR"};
-my $DEFAULT_HELM_CONFIGURATION_DIR = @HELM_ETC_DIR@;
+my $DEFAULT_HELM_CONFIGURATION_DIR = "@HELM_ETC_DIR@";
 # this should be the only fixed constant
-if (defined ($HELM_CONFIGURATION_DIR) {
+if (defined ($HELM_CONFIGURATION_DIR)) {
    $configuration_file = $HELM_CONFIGURATION_DIR."/configuration.xml";
 } else {
    $configuration_file = $DEFAULT_HELM_CONFIGURATION_DIR."/configuration.xml";