]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/control.html
Links in the control frame when the URI ends with .body are now handled
[helm.git] / helm / on-line / html / cic / control.html
index f41168d2836ee9350511555fe5f93b66210fb069..126772343a2989ab13f6d3f00604bba72266b002 100644 (file)
@@ -18,6 +18,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
 <script>
  var annotations="<subst:annotations/>";
  var CICURI="<subst:CICURI/>";
+ var cleanCICURI="<subst:cleanCICURI/>";
  var CICURL = "<subst:CICURL/>";
  var DCRDFURL = "<subst:DCRDFURL/>";
  var DirectRDFURL = "<subst:DirectRDFURL/>";
@@ -88,9 +89,9 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
   <li>
     <script>
      var url = processorURL + "apply?keys=MC%2CRT%2CL&amp;xmluri=" +
-         getterURL + "getxml%3Furi%3D" + CICURI +
+         getterURL + "getxml%3Furi%3D" + cleanCICURI +
          "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
-         "&amp;param.CICURI=" + CICURI + "&amp;param.profile=" + profile +
+         "&amp;param.CICURI=" + cleanCICURI + "&amp;param.profile=" + profile +
          "&amp;profile=" + profile;
      document.write(
       '<a target="result" href="' + url + '">View metadata</a>'
@@ -99,7 +100,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
   </li>
   <li>
     <script>
-     url = proofcheckerURL + "proofCheck?uri=" + CICURI;
+     url = proofcheckerURL + "proofCheck?uri=" + cleanCICURI;
      document.write(
       '<a target="result" href="' + url + '">Proof check</a>'
      );