]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/cic/control.html
Version 1.2.1beta => 1.2.1
[helm.git] / helm / on-line / html / cic / control.html
index 626db75801a46594439f6e9ba79b125d152e130b..7a69e1a0e46f11ba6797e364cd77bb94cb249613 100644 (file)
@@ -49,25 +49,16 @@ td.back { background-color: #e6e6fa; color: brown }
      var url = unescape(getParam('url'));
      var getterURL = extractParam(url,'param.getterURL');
      var CICURI = extractParam(url,'param.CICURI');
-     var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/rdfprova//" + CICURI;
-     if (CICURI.substr(-4,4) == ".ind") {
-      url = setParam(url,"keys","DM%2CRT");
-      url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + CICURI);
-     } else {
-      url = setParam(url,"keys","MC%2CRT");
-      url = setParam(url,"xmluri", getterURL + "resolve%3Furi%3D" + RDFURI);
-     }
+     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 =
-      url +
-      "&param.RDFURI=" + RDFURI ;
      document.write(
-      '<a target="metadata" href="' + url + '">View its metadata</a>'
+      '<a target="metadata" href="' + url + '">View its metadata and dependencies</a>'
      );
     </script>
    </td>
-   <td>(Work in progress. Coming soon.)</td>
+   <td>NEW!!!</td>
   </tr>
   <tr>
    <td>