]> matita.cs.unibo.it Git - helm.git/blob - helm/cgi/mkheader.pl
bugfix: top level keys now should work
[helm.git] / 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