X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkcontrol.pl;h=e314aa778c855e8cf629d846693fbe06d2c55484;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=5acadae5695e85e750ee78133916208cbe5510c3;hpb=1c693fc961f678220df64a5ba098ba10906828f0;p=helm.git

diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl
index 5acadae56..e314aa778 100755
--- 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>
