helm/cgi/mkheader.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 CGI;
  18
  19 $cgi = new CGI($ENV{"REQUEST_URL"});
  20 $uri = $cgi->param('uri');
  21
  22 print <<EOT;
  23 Content-type: text/html
  24
  25 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
  26 "http://www.w3.org/TR/REC-html40/loose.dtd">
  27 <html>
  28 <head>
  29 <title>Control panel</title>
  30 <script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
  31 </script>
  32 </head>
  33 <body bgcolor="#ffffff" text="#000000">
  34 <table width="100%">
  35 <tr>
  36  <td width="50%">
  37   <font size="+3" face="Helvetica,Arial,sans-serif"><b>Index of $uri</b></font>
  38   <hr noshade align="left" width="80%">
  39  </td>
  40 </tr>
  41 </table>
  42 </body>
  43 </html>
  44 EOT