From: Stefano Zacchiroli Date: Fri, 16 Mar 2001 13:39:11 +0000 (+0000) Subject: ehm ... no comment X-Git-Tag: v0_1_2~74 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=05c15b2c0b6777854163bff90f1b5dcb84034f91;p=helm.git ehm ... no comment --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index 963f08220..9c59641f9 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -55,8 +55,8 @@ if (($cachemode ne 'gzipped') and ($cachemode ne 'normal')) { require $HELM_LIB_PATH; # Let's override the configuration file -my $style_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"})); -my $dtd_dir = $ENV{"HELM_DTD_DIR"} if (defined ($ENV{"HELM_DTD_DIR"})); +$style_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"})); +$dtd_dir = $ENV{"HELM_DTD_DIR"} if (defined ($ENV{"HELM_DTD_DIR"})); use HTTP::Daemon; use HTTP::Status;