X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=470f82322ea2025f243a3e5069b6295231da6ab4;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=dba30d5aa869ee570e215360ddc03c6157408c68;hpb=4866a470d100cd7eb99c499beef9b61ec0e0a3ad;p=helm.git

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index dba30d5aa..470f82322 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -64,8 +64,9 @@ td.back { background-color: #e6e6fa; color: brown }
    <td>
     <script>
      var url = unescape(getParam('url'));
+     var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
      var CICURI = extractParam(url,'param.CICURI');
-     url = "http://phd.cs.unibo.it:8085/proofCheck?uri=" + CICURI;
+     url = proofcheckerURL + "proofCheck?uri=" + CICURI;
      document.write(
       '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
      );