<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");
url = setParam(url,"prop.encoding","iso-8859-1");
+ url = setParam(url,"param.CICURI",CICURI);
document.write(
'<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
);
<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>'