]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/http_getter/http_getter.pl
This commit was manufactured by cvs2svn to create tag 'initial'.
[helm.git] / helm / interface / http_getter / http_getter.pl
index 9ea1641b7c7b2036ca3b71216267f3fa1a448b23..4ad35848075ef78c44c230b1c5c4e8ceb6f227b1 100755 (executable)
@@ -1,15 +1,9 @@
 #!/usr/bin/perl
 
-# First of all, let's load HELM configuration
-use Env;
-my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
-my $HELM_CONFIGURATION_PATH =
- $HELM_CONFIGURATION_PREFIX."local/lib/helm/configuration.pl";
 # next require defines: $helm_dir, $html_link
-require $HELM_CONFIGURATION_PATH;
-
-
-
+# LUCA - 12 sep 2000
+# require "/usr/lib/helm/configuration.pl";
+require "/home/cadet/sacerdot/local/lib/helm/configuration.pl";
 use HTTP::Daemon;
 use HTTP::Status;
 use HTTP::Request;