X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=29a222faa8a4d98125cfa4ee7be6ec12c50ebfdb;hb=d42f916052e67304e8b46e537b9a4bbaf2c2607e;hp=288015dace02eab1d6f3d8862e2a993385766bdb;hpb=3924d3a11a488176c28af5e82ee3810d9a6350ed;p=helm.git

diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html
index 288015dac..29a222faa 100644
--- a/helm/on-line/html/cic/control.html
+++ b/helm/on-line/html/cic/control.html
@@ -44,9 +44,27 @@ td.back { background-color: #e6e6fa; color: brown }
   </tr>
   <tr>
    <td>
-    View its metadata
+    <script>
+     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 =
+      url +
+      "&param.RDFURI=" + RDFURI ;
+     document.write(
+      '<a target="metadata" href="' + url + '">View its metadata</a>'
+     );
+    </script>
    </td>
-   <td>(Not implemented, yet. Coming soon.)</td>
+   <td>(Work in progress. Coming soon.)</td>
   </tr>
   <tr>
    <td>