- answer($c,$ciccontent);
- }
- } elsif ($http_method eq 'GET' and $http_path eq "/get") {
- # finds the uris, urls and filenames
- my $cicuri = $inputuri,
- $typesuri = $inputuri,
- $annuri = $inputuri;
- my $annsuffix;
- if ($inputuri =~ /\.types$/) {
- $cicuri =~ s/(.*)\.types$/$1/;
- undef($annuri);
- } elsif ($inputuri =~ /\.types\.ann$/) {
- $cicuri =~ s/(.*)\.types\.ann$/$1/;
- $typesuri =~ s/(.*)\.ann$/$1/;
- $annsuffix = ".types.ann";
- } elsif ($inputuri =~ /\.ann$/) {
- $cicuri =~ s/(.*)\.ann$/$1/;
- undef($typesuri);
- $annsuffix = ".ann";
- } else {
- undef($typesuri);
- undef($annuri);
- }
-
- my $cicfilename = $cicuri;
- $cicfilename =~ s/cic:(.*)/$1/;
- $cicfilename =~ s/theory:(.*)/$1/;
- $cicfilename = $helm_dir.$cicfilename;
-
- my $cicurl = $map{$cicuri};
- my $typesurl = $map{$typesuri} if (defined($typesuri));
- my $annurl = $map{$annuri} if (defined($annuri));
- my ($cicext, $typesext, $annext);
- if ($cicurl =~ /\.xml$/) { # normal file
- $cicext = ".xml";
- } elsif ($cicurl =~ /\.xml\.gz$/) { # gzipped file
- $cicext = ".xml.gz";
- } else {
- die "unexpected extension in url: $cicurl;".
- "might be '.xml' or '.xml.gz'";
- }
- if (defined($typesuri)) { # extension selection for types file
- if ($typesurl =~ /\.xml$/) { # normal file
- $typesext = ".types.xml";
- } elsif ($typesurl =~ /\.xml\.gz$/) { # gzipped file
- $typesext = ".types.xml.gz";
- } else {
- die "unexpected extension in url: $typesurl;".
- "might be '.xml' or '.xml.gz'";
- }