Now the on-line interface can use a Getter and an UWOBO on any machine

[helm.git] / helm / cgi / mkcontrol.pl

diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl
index 96c5c952274d3f9862a15bc9a300d14a807c78bc..5acadae5695e85e750ee78133916208cbe5510c3 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");
@@ -77,8 +79,10 @@ 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="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">
@@ -90,6 +94,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>