X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkindex.pl;h=955d6d8b0e6dd597fc832d190da129d574bab783;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cd6e47d61d267a77cdb359fcd077cbdc44bc0ddf;hpb=64d3512db52983e2a267bf3f4542b5cf2bad225d;p=helm.git

diff --git a/helm/cgi/mkindex.pl b/helm/cgi/mkindex.pl
index cd6e47d61..955d6d8b0 100755
--- a/helm/cgi/mkindex.pl
+++ b/helm/cgi/mkindex.pl
@@ -22,6 +22,8 @@ $cgi = new CGI($ENV{"REQUEST_URL"});
 $mode      = $cgi->param('mode');
 $cicuri    = $cgi->param('cicuri');
 $theoryuri = $cgi->param('theoryuri');
+$processorURL = $cgi->param('processorURL');
+$getterURL = $cgi->param('getterURL');
 $topurl    = $cgi->url();
 
 print <<EOT;
@@ -34,15 +36,15 @@ Content-type: text/html
  <title>Index of $cicuri and $theoryuri</title>
 </head>
 <frameset rows="18%,*" border="0" scrolling="no">
-  <frame src="mkcontrol.pl?topurl=$topurl&mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri" name="control"/>
+  <frame src="mkcontrol.pl?topurl=$topurl&mode=$mode&cicuri=$cicuri&theoryuri=$theoryuri&processorURL=$processorURL&getterURL=$getterURL" name="control"/>
   <frameset cols="50%,50%" border="0" scrolling="no">
      <frameset rows="11%,*" border="0" scrolling="no">
         <frame src="mkheader.pl?uri=$theoryuri" name="theoryheader"/>
-        <frame src="mkindextheory.pl?theoryuri=$theoryuri" name="theoryresult"/>
+        <frame src="mkindextheory.pl?theoryuri=$theoryuri&getterURL=$getterURL" name="theoryresult"/>
      </frameset>
      <frameset rows="11%,*" border="0" scrolling="no">
         <frame src="mkheader.pl?uri=$cicuri" name="cicheader"/>
-        <frame src="mkindexcic.pl?cicuri=$cicuri" name="cicresult"/>
+        <frame src="mkindexcic.pl?cicuri=$cicuri&getterURL=$getterURL" name="cicresult"/>
      </frameset>
   </frameset>
 </frameset>