]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
getciconly ==> getxml
[helm.git] / helm / on-line / javascript / control.js
index 4136c0edfdfa9e6e41155500ded7020fade6d1ce..24ca2eed9b5031241ef1ce62537c677d829a3fbb 100644 (file)
@@ -106,7 +106,7 @@ function makeURL(type,uri,cicflags,typesflags)
   else format = mode_list[2];
   
   if (output == "raw") {
-    url = getterURL + "getciconly?uri=" + uri +
+    url = getterURL + "getxml?uri=" + uri +
      "&format=" + (format == "zcic" ? "gz" : "normal");
   } else {
     if (format == "html" && type == "cic") {
@@ -135,7 +135,7 @@ function makeURL(type,uri,cicflags,typesflags)
     if (cicflags != "NO" || type == "theory") {
        annotations = mode_list[4];
     }
-    url = processorURL + "apply?xmluri=" + escape(getterURL + "getciconly?uri=" + uri) + "&keys=" + keys + "&param.CICURI=" + uri + "&param.naturalLanguage=" + naturalLanguage + "&param.annotations=" + annotations;
+    url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "&param.CICURI=" + uri + "&param.naturalLanguage=" + naturalLanguage + "&param.annotations=" + annotations;
   }
 
   return url;