X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fcgi%2Fmkcontrol.pl;h=e314aa778c855e8cf629d846693fbe06d2c55484;hb=e8a1f51b3fa848bf04fc13b5a33666e1856aab71;hp=6e593d7d8d840b2a06906a29eaa06f26b2b15e16;hpb=d122e00855f9f44ac0d268e96cbe7b3dccd04db1;p=helm.git diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl index 6e593d7d8..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,7 +40,9 @@ Content-type: text/html