X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=bac916fe85e1df7d657ab42b03c40e3e90b9623b;hb=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;hp=206ba6b4ef911ed7c489eaedbed04103735a217f;hpb=c9e626cba3af69354dac69bfaefeb346a191fc5a;p=helm.git diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index 206ba6b4e..bac916fe8 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -5,10 +5,10 @@ use Env; my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"}; # this should be the only fixed constant my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@"; -if (defined ($HELM_LIBRARY_DIR) { - $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl"; +if (defined ($HELM_LIBRARY_DIR)) { + $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."/configuration.pl"; } else { - $HELM_LIBRARY_PATH = $DEFAULT_HELM_LIBRARY_DIR."./configuration.pl"; + $HELM_LIBRARY_PATH = $DEFAULT_HELM_LIBRARY_DIR."/configuration.pl"; } # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm require $HELM_LIBRARY_PATH;