From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 16 Mar 2001 15:31:10 +0000 (+0000)
Subject: Raw mode now really considers compressed/not compressed
X-Git-Tag: v0_1_2~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e1d232bab1b061d9098fd666ca24bed84b38f99e;p=helm.git

Raw mode now really considers compressed/not compressed
---

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 1b00d17e7..4136c0edf 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -106,7 +106,8 @@ function makeURL(type,uri,cicflags,typesflags)
   else format = mode_list[2];
   
   if (output == "raw") {
-    url = getterURL + "getciconly?uri=" + uri;
+    url = getterURL + "getciconly?uri=" + uri +
+     "&format=" + (format == "zcic" ? "gz" : "normal");
   } else {
     if (format == "html" && type == "cic") {
       keys = "C1,HC2&param.processorURL=" + escape(processorURL) +