From 64d3512db52983e2a267bf3f4542b5cf2bad225d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Mar 2001 16:05:57 +0000 Subject: [PATCH] New online interface --- helm/cgi/mkindex.pl | 140 +++++++------------------------------------- 1 file changed, 21 insertions(+), 119 deletions(-) diff --git a/helm/cgi/mkindex.pl b/helm/cgi/mkindex.pl index 1b912964b..cd6e47d61 100755 --- a/helm/cgi/mkindex.pl +++ b/helm/cgi/mkindex.pl @@ -14,116 +14,15 @@ if (defined ($HELM_LIB_DIR)) { # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm require $HELM_LIB_PATH; -$getter_url_get_uri = $getter_url."get?uri="; -$html_keys = "key=C1&key=HC2"; +#use URI::Escape; +use CGI; -# LUCA -# the following lines precompute some escaped string so that they can -# be used safely in a URI as value for parameters. +$cgi = new CGI($ENV{"REQUEST_URL"}); -use URI::Escape; - -#$escape_these = "\;\/\?\:\@\&\=\+\,\$"; -$escape_these = "&=;:?"; -$esc_getter_url = uri_escape($getter_url, $escape_these); -$esc_processor_url = uri_escape($processor_url, $escape_these); -$esc_getter_url_get_uri = uri_escape($getter_url_get_uri, $escape_these); -$esc_html_keys = uri_escape($html_keys, $escape_these); - -$baseuri0 = $dirname = $uri = $ENV{"REQUEST_URI"}; - -$dirname =~ s/$helm_url_path//; -$dirname = $library_dir_on_line.$dirname; - -$baseuri0 =~ s/$helm_url_path//; - -opendir(DIR, $dirname); -@filenames = readdir(DIR); -closedir(DIR); - -$output = ""; -foreach $i (@filenames) { - if ($i eq "..") { - $output .= < -[BACK] -Parent Directory - -EOT - } elsif ($i !~ /^\./) { - # hidden files excluded - (undef,undef,$mode) = stat("$dirname$i"); - if ($mode &= 16384) { - # directory - $output .= < -[DIR] -$i - -EOT - } else { - # file - if ($i =~ /\.(con|var|ind)(\.types)?\.xml(\.gz)?$/) { - my $i_without_xml = $i; - $i_without_xml =~ s/(.*)\.xml(\.gz)/$1/; - # cic file - my $baseuri = "cic:".$baseuri0; - $output .= < -[DIR] -$i -MathML Content -MathML Presentation - -HTML - -EOT - } elsif ($i =~ /\.(con|var|ind)\.ann\.xml(\.gz)?$/) { - my $i_without_xml = $i; - my $i_without_ann_and_xml = $i; - $i_without_xml =~ s/(.*)\.xml(\.gz)/$1/; - $i_without_ann_and_xml =~ s/(.*)\.ann\.xml/$1/; - # cic file - my $baseuri = "cic:".$baseuri0; - $output .= < -[DIR] -$i -MathML Content -MathML Presentation - -HTML - -EOT - } elsif ($i =~ /\.theory\.xml(\.gz)?$/) { - my $i_without_xml = $i; - $i_without_xml =~ s/(.*)\.xml(\.gz)/$1/; - # theory file - my $baseuri = "theory:".$baseuri0; $output .= < -[DIR] -$i -MathML Content -MathML Presentation -HTML - -EOT - } else { - # other file - $output .= < -[DIR] -$i - -EOT - } - } - } -} +$mode = $cgi->param('mode'); +$cicuri = $cgi->param('cicuri'); +$theoryuri = $cgi->param('theoryuri'); +$topurl = $cgi->url(); print < -Index of $uri + Index of $cicuri and $theoryuri - -
-Index of $uri -
-
- -$output -
-
- + + + + + + + + + + + + + EOT -- 2.39.2