]> matita.cs.unibo.it Git - helm.git/blob - helm/cgi/mkindex.pl
bugfix: "LPAREN" vs LPAREN
[helm.git] / helm / cgi / mkindex.pl
1 #!/usr/bin/perl
2
3 # First of all, let's load HELM configuration
4 use Env;
5 my $HELM_LIB_DIR = $ENV{"HELM_LIB_DIR"};
6 # this should be the only fixed constant
7 my $DEFAULT_HELM_LIB_DIR = "/projects/helm/on-line/local/lib/helm";
8 if (defined ($HELM_LIB_DIR)) {
9    $HELM_LIB_PATH = $HELM_LIB_DIR."/configuration.pl";
10 } else {
11    $HELM_LIB_PATH = $DEFAULT_HELM_LIB_DIR."/configuration.pl";
12 }
13
14 # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
15 require $HELM_LIB_PATH;
16
17 #use URI::Escape;
18 use CGI;
19
20 $cgi = new CGI($ENV{"REQUEST_URL"});
21
22 $mode      = $cgi->param('mode');
23 $cicuri    = $cgi->param('cicuri');
24 $theoryuri = $cgi->param('theoryuri');
25 $processorURL = $cgi->param('processorURL');
26 $getterURL = $cgi->param('getterURL');
27 $topurl    = $cgi->url();
28
29 print <<EOT;
30 Content-type: text/html
31
32 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
33 "http://www.w3.org/TR/REC-html40/loose.dtd">
34 <html>
35 <head>
36  <title>Index of $cicuri and $theoryuri</title>
37 </head>
38 <frameset rows="18%,*" border="0" scrolling="no">
39   <frame src="mkcontrol.pl?topurl=$topurl&mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL" name="control"/>
40   <frameset cols="50%,50%" border="0" scrolling="no">
41      <frameset rows="11%,*" border="0" scrolling="no">
42         <frame src="mkheader.pl?uri=$theoryuri" name="theoryheader"/>
43         <frame src="mkindextheory.pl?theoryuri=$theoryuri&getterURL=$getterURL" name="theoryresult"/>
44      </frameset>
45      <frameset rows="11%,*" border="0" scrolling="no">
46         <frame src="mkheader.pl?uri=$cicuri" name="cicheader"/>
47         <frame src="mkindexcic.pl?cicuri=$cicuri&getterURL=$getterURL" name="cicresult"/>
48      </frameset>
49   </frameset>
50 </frameset>
51 </html>
52 EOT