X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkcontrol.pl;h=e314aa778c855e8cf629d846693fbe06d2c55484;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=96c5c952274d3f9862a15bc9a300d14a807c78bc;hpb=f79d66d3f1e28269afdeab16b78b21f7cecdbd65;p=helm.git

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