ocaml 3.09 transition

[helm.git] / helm / cgi / mkcontrol.pl
diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl

index 96c5c952274d3f9862a15bc9a300d14a807c78bc..e314aa778c855e8cf629d846693fbe06d2c55484 100755 (executable)
--- a/helm/cgi/mkcontrol.pl
+++ b/helm/cgi/mkcontrol.pl
@@ -21,6 +21,8 @@ $mode = $cgi->param('mode');
  $cicuri = $cgi->param('cicuri');
  $theoryuri = $cgi->param('theoryuri');
  $topurl = $cgi->param('topurl');
+$processorURL = $cgi->param('processorURL');
+$getterURL = $cgi->param('getterURL');
  ($mode1,$mode2,$mode3,$mode4,$mode5) = split(/,/, $mode);
  $natural = "checked" if ($mode4 eq "yes");
  $annotations = "checked" if ($mode5 eq "yes");
@@ -38,6 +40,8 @@ Content-type: text/html
  <html>
  <head>
  <title>Control panel</title>
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/utils.js">
  <script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
  </script>
  </head>
@@ -77,12 +81,16 @@ print <<EOT;
        </select>
      </td>
      <td>
-     <a target="_top" href="$topurl?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri">Reload</a><br>
+     <a target="_top" href="$topurl?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Reload</a><br>
       (do it also before attempting to take a link to the current page)
-     <input type="hidden" name="hiddentopurl" value="$topurl">
-     <input type="hidden" name="hiddenmode" value="$mode">
-     <input type="hidden" name="hiddencicuri" value="$cicuri">
-     <input type="hidden" name="hiddentheoryuri" value="$theoryuri">
+     <script>
+       top.processorURL = getParam('processorURL');
+       top.getterURL = getParam('getterURL');
+       top.topurl = getParam('topurl');
+       top.mode = getParam('mode');
+       top.cicuri = getParam('cicuri');
+       top.theoryuri = getParam('theoryuri');
+     </script>
      </td>
    </tr>
    <tr>
@@ -90,6 +98,9 @@ print <<EOT;
        <input type="checkbox" $natural onClick="updateNatural(this)">&nbsp;Natural Language</input>
        <input type="checkbox" $annotations onClick="updateAnnotations(this)">&nbsp;Annotations</input>
      </td>
+    <td>
+     <a target="_top" href="../html/index.html?mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL">Configuration panel</a>
+    </td>
    </tr>
  </table>
  </form>