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