ocaml 3.09 transition

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

index 5acadae5695e85e750ee78133916208cbe5510c3..e314aa778c855e8cf629d846693fbe06d2c55484 100755 (executable)
--- a/helm/cgi/mkcontrol.pl
+++ b/helm/cgi/mkcontrol.pl
@@ -40,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>
@@ -81,12 +83,14 @@ print <<EOT;
      <td>
       <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="hiddenprocessorURL" value="$processorURL">
-     <input type="hidden" name="hiddengetterURL" value="$getterURL">
-     <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>