helm/cgi/mkcontrol.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 $mode = $cgi->param('mode');
  21 $cicuri = $cgi->param('cicuri');
  22 $theoryuri = $cgi->param('theoryuri');
  23 $topurl = $cgi->param('topurl');
  24 $processorURL = $cgi->param('processorURL');
  25 $getterURL = $cgi->param('getterURL');
  26 ($mode1,$mode2,$mode3,$mode4,$mode5) = split(/,/, $mode);
  27 $natural = "checked" if ($mode4 eq "yes");
  28 $annotations = "checked" if ($mode5 eq "yes");
  29 if ($mode1 eq "raw") {
  30    $format_raw = "selected";
  31 } else {
  32    $format_processed = "selected";
  33 }
  34
  35 print <<EOT;
  36 Content-type: text/html
  37
  38 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
  39 "http://www.w3.org/TR/REC-html40/loose.dtd">
  40 <html>
  41 <head>
  42 <title>Control panel</title>
  43 <script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
  44 </script>
  45 </head>
  46 <body bgcolor="#ffffff" text="#000000">
  47 <form>
  48 <table>
  49   <tr>
  50     <td>
  51       <b>Format</b>:
  52     </td>
  53     <td>
  54       <select name="output" onChange="updateOutput(this,document.forms[0].format)">
  55         <option value="processed" $format_processed>Processed</option>
  56         <option value="raw" $format_raw>Raw</option>
  57       </select>
  58     </td>
  59     <td>
  60       <select name="format" onChange="updateFormat(this)">
  61 EOT
  62     if ($mode1 eq "raw") {
  63        $tmp = "output_".$mode2;
  64        $$tmp="selected";
  65        print <<EOT;
  66         <option value="cic" $output_cic>CIC</option>
  67         <option value="zcic" $output_zcic>CIC GZipped</option>
  68 EOT
  69     } else {
  70        $tmp = "output_".$mode3;
  71        $$tmp="selected";
  72        print <<EOT;
  73         <option value="html" $output_html>HTML</option>
  74         <option value="mml_cont" $output_mml_cont>MathML Content</option>
  75         <option value="mml_pres" $output_mml_pres>MathML Presentation</option>
  76 EOT
  77     }
  78 print <<EOT;
  79       </select>
  80     </td>
  81     <td>
  82      <a target="_top" href="$topurl?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Reload</a><br>
  83      (do it also before attempting to take a link to the current page)
  84      <input type="hidden" name="hiddenprocessorURL" value="$processorURL">
  85      <input type="hidden" name="hiddengetterURL" value="$getterURL">
  86      <input type="hidden" name="hiddentopurl" value="$topurl">
  87      <input type="hidden" name="hiddenmode" value="$mode">
  88      <input type="hidden" name="hiddencicuri" value="$cicuri">
  89      <input type="hidden" name="hiddentheoryuri" value="$theoryuri">
  90     </td>
  91   </tr>
  92   <tr>
  93     <td colspan="3">
  94       <input type="checkbox" $natural onClick="updateNatural(this)">&nbsp;Natural Language</input>
  95       <input type="checkbox" $annotations onClick="updateAnnotations(this)">&nbsp;Annotations</input>
  96     </td>
  97     <td>
  98      <a target="_top" href="../html/index.html?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Configuration panel</a>
  99     </td>
 100   </tr>
 101 </table>
 102 </form>
 103 </body>
 104 </html>
 105 EOT