]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/local/lib/helm/configuration.pl
This commit was manufactured by cvs2svn to create branch 'helm'.
[helm.git] / helm / configuration / local / lib / helm / configuration.pl
diff --git a/helm/configuration/local/lib/helm/configuration.pl b/helm/configuration/local/lib/helm/configuration.pl
deleted file mode 100644 (file)
index f761e71..0000000
+++ /dev/null
@@ -1,38 +0,0 @@
-use XML::Parser;
-
-use Env;
-my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
-# this should be the only fixed constant
-$configuration_file =
- $HELM_CONFIGURATION_PREFIX."/local/etc/helm/configuration.xml";
-
-$parser = new XML::Parser(Handlers => {Start => \&handle_start,
-                                       End   => \&handle_end,
-                                       Char  => \&handle_char});
-
-
-$parser->parsefile($configuration_file, ErrorContext => 3);
-
-
-sub handle_start
-{
-   if ($_[1] eq "value-of") {
-      $$varname .= ${$_[3]};
-   } elsif ($_[1] ne "configuration") {
-      $varname = $_[1];
-   }
-}
-
-sub handle_end
-{
-   if ($_[1] ne "value-of" && $_[1] ne "configuration") {
-      # Next line for debugging only:
-      # print "OK: #$_[1]# := #$$varname#\n";
-      $varname = undef;
-   }
-}
-
-sub handle_char
-{
-   $$varname .= $_[1];
-}