]> matita.cs.unibo.it Git - helm.git/commitdiff
ehm ... no comment
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 13:39:11 +0000 (13:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 13:39:11 +0000 (13:39 +0000)
helm/http_getter/http_getter.pl.in

index 963f082204ce4c07011b3188055812db40dee404..9c59641f92358d261be009c997667a1c84fd7541 100755 (executable)
@@ -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;