From 9e9e6526321783c07a2044a1ce6886a52ffd0fad Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Jun 2003 12:44:42 +0000
Subject: [PATCH] The proof-checker should now be working also on .body files.

---
 helm/on-line/html/cic/control.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index c348547d1..02edc199d 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -59,7 +59,7 @@ td.back { background-color: #e6e6fa; color: brown }
     <script>
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
-     var CICURI = extractParam(url,'param.CICURI');
+     var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
      url = setParam(url,"keys","MC%2CRT");
      url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
      url = setParam(url,"prop.media-type","text/html");
@@ -77,7 +77,7 @@ td.back { background-color: #e6e6fa; color: brown }
     <script>
      var url = unescape(getParam('url'));
      var proofcheckerURL = unescape(extractParam(url,'param.proofcheckerURL'));
-     var CICURI = extractParam(url,'param.CICURI');
+     var CICURI = dropBodySuffix(extractParam(url,'param.CICURI'));
      url = proofcheckerURL + "proofCheck?uri=" + CICURI;
      document.write(
       '<a target="proofChecker" href="' + url + '">Proof-check it</a>'
-- 
2.39.2